Age | Commit message (Expand) | Author |
---|---|---|
2024-09-08 | Fun new tupling technique | Marvin Borner |
2024-05-17 | Fixed tests | Marvin Borner |
2024-05-17 | Minor additions :) | Marvin Borner |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Expand) | Author |
---|---|---|
2024-09-08 | Fun new tupling technique | Marvin Borner |
2024-05-17 | Fixed tests | Marvin Borner |
2024-05-17 | Minor additions :) | Marvin Borner |