| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-02-21 | Additions for Rosetta Code | Marvin Borner | |
| 2024-02-16 | Added strong Rosenberg encoding for meta encoding | Marvin Borner | |
| Originally got the idea from @sgoguen (YC) and was further inspired by @hbr from one of their blog posts[1]. The current encoding has some holes and bad performance, so I might switch to a different one in the future. The wiki and metaprogramming blog post have been updated accordingly. [1] https://hbr.github.io/Lambda-Calculus/computability/text.html | |||
| 2024-02-15 | Added number conversion utility functions | Marvin Borner | |
| 2024-01-18 | More efficient str→blc | Marvin Borner | |
| 2023-12-15 | Minor documentation fixes | Marvin Borner | |
| 2023-11-06 | Minor general additions | Marvin Borner | |
| 2023-10-30 | Fixed comments | Marvin Borner | |
| 2023-10-14 | Generic Church and hyperfac | Marvin Borner | |
| 2023-06-02 | Added some missing functions | Marvin Borner | |
| 2023-04-08 | Various improvements to standard library docs | Marvin Borner | |
| 2023-03-07 | Useful additions | Marvin Borner | |
| hehe | |||
| 2023-03-05 | Switched to prefixed listification | Marvin Borner | |
| 2023-03-04 | More efficient mst functions | Marvin Borner | |
| 2023-03-04 | More efficient math functions | Marvin Borner | |
| 2023-03-04 | Added odd/even functions | Marvin Borner | |
| 2023-02-26 | More std functions | Marvin Borner | |
| 2023-02-26 | Added more unary functions | Marvin Borner | |
| 2023-02-24 | Added more string/char functions | Marvin Borner | |
| 2023-02-24 | Moved number implementations | Marvin Borner | |