| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-03-10 | Samples and std additions | Marvin Borner | |
| 2024-03-02 | Several additions to std | Marvin Borner | |
| Some weren't committed for a year! | |||
| 2024-02-29 | great changes | Marvin Borner | |
| you gotta believe me, they're great. they're the best | |||
| 2024-02-26 | Fixed universal machine | Marvin Borner | |
| 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 | |