Age | Commit message (Expand) | Author |
---|---|---|
2024-09-06 | Sample/std fixes | Marvin Borner |
2024-08-23 | Added concatenation | Marvin Borner |
2024-08-23 | Fixed many bugs (was very sleepy) | Marvin Borner |
2024-08-23 | lgtm, didn't test | Marvin Borner |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Expand) | Author |
---|---|---|
2024-09-06 | Sample/std fixes | Marvin Borner |
2024-08-23 | Added concatenation | Marvin Borner |
2024-08-23 | Fixed many bugs (was very sleepy) | Marvin Borner |
2024-08-23 | lgtm, didn't test | Marvin Borner |