| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2025-03-05 | Better primality test | Marvin Borner | |
| 2025-01-23 | Improve Parigot numbers | Marvin Borner | |
| 2024-11-06 | Minor improvements | Marvin Borner | |
| 2024-10-27 | Improvements in maps, sets, and parsing | Marvin Borner | |
| 2024-10-27 | Refactored comparisons and sets | Marvin Borner | |
| 2024-08-02 | Improved Parigot data types | Marvin Borner | |
| 2024-07-27 | Some accumulated math changes | Marvin Borner | |
| 2024-07-27 | Fixed truly crazy bug in some rare cases | Marvin Borner | |
| 2024-07-27 | Improved division by several magnitudes | Marvin Borner | |
| 2024-05-02 | More math | Marvin Borner | |
| MAATHTHAHHAHA | |||
| 2024-03-25 | Add support for context-dependent imports / generics | Marvin Borner | |
| 2024-03-25 | Renamed number comparison functions | Marvin Borner | |
| 2024-03-25 | More samples and definitions | Marvin Borner | |
| 2024-03-23 | Some Project Euler solutions | Marvin Borner | |
| 2024-03-18 | Minor orthographic improvements | 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-13 | Added much faster division algorithm | Marvin Borner | |
| 2024-03-10 | Samples and std additions | Marvin Borner | |
| 2024-03-03 | Even more samples | Marvin Borner | |
| wtf | |||
| 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-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 | |||
| 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 | |