Age | Commit message (Expand) | Author |
---|---|---|
2024-10-27 | Improvements in maps, sets, and parsing | Marvin Borner |
2024-03-18 | Added linear logic | Marvin Borner |
2024-03-10 | Better std UI | Marvin Borner |
2024-03-10 | Added ternary logic | Marvin Borner |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Expand) | Author |
---|---|---|
2024-10-27 | Improvements in maps, sets, and parsing | Marvin Borner |
2024-03-18 | Added linear logic | Marvin Borner |
2024-03-10 | Better std UI | Marvin Borner |
2024-03-10 | Added ternary logic | Marvin Borner |