aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Meta.bruijn
AgeCommit message (Collapse)Author
2024-08-06Complex updatesMarvin Borner
2024-03-13Better string comparison using prefixed spaceship operatorMarvin Borner
Co-authored-by: JoJoBarthold2 <valentin.j.schmidt@web.de>
2024-03-02Several additions to stdMarvin Borner
Some weren't committed for a year!
2024-02-29Encourage use of combinatorsMarvin Borner
2024-02-26Fixed universal machineMarvin Borner
2024-02-21Additions for Rosetta CodeMarvin Borner
2024-02-16Added strong Rosenberg encoding for meta encodingMarvin 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-11Fixed unquote operatorMarvin Borner
2023-11-11Minor wiki fixesMarvin Borner
css and blog
2023-11-06Started unquote and improved quoteMarvin Borner
2023-10-15Started meta libMarvin Borner