aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Math.bruijn
AgeCommit message (Collapse)Author
2024-02-23More RosettaMarvin 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-12-15Minor documentation fixesMarvin Borner
2023-07-30Implemented power tower / knuth functionsMarvin Borner
Again during sick hacking session at cool new hackerspace. Co-Authored-By: AnyUnderstanding <christopher.alan.w@gmail.com>
2023-07-24Implemented logarithm functionsMarvin Borner
Done during sick hacking session at cool new hackerspace. Co-Authored-By: AnyUnderstanding <christopher.alan.w@gmail.com>
2023-03-07Useful additionsMarvin Borner
hehe
2023-03-05Switched to prefixed listificationMarvin Borner
2023-03-04More efficient math functionsMarvin Borner
2023-03-04Fixed pi algorithmMarvin Borner
2023-03-03Added second part of aoc and needed functionsMarvin Borner
Also, I don't know how I got 30s for the first part previously. Cannot reproduce and probably was a mistake. idk
2023-02-28Additions to std/Marvin Borner
2023-02-26More std functionsMarvin Borner
2023-02-25Fixed wrong input syntaxMarvin Borner
2023-02-23Added more typesMarvin Borner
2023-02-21Standard library syncMarvin Borner
2022-08-31More functionsMarvin Borner
2022-08-31UnicodificationMarvin Borner
I like unicode, sorry if you have a different opinion
2022-08-29Started mixfix chainingMarvin Borner
2022-08-26General std improvementsMarvin Borner
2022-08-20Started math libraryMarvin Borner