Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-08-06 | Complex updates | Marvin Borner | |
2024-03-13 | Better string comparison using prefixed spaceship operator | Marvin Borner | |
Co-authored-by: JoJoBarthold2 <valentin.j.schmidt@web.de> | |||
2024-03-02 | Several additions to std | Marvin Borner | |
Some weren't committed for a year! | |||
2024-02-29 | Encourage use of combinators | Marvin Borner | |
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 | |||
2023-11-11 | Fixed unquote operator | Marvin Borner | |
2023-11-11 | Minor wiki fixes | Marvin Borner | |
css and blog | |||
2023-11-06 | Started unquote and improved quote | Marvin Borner | |
2023-10-15 | Started meta lib | Marvin Borner | |