Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-09-06 | Refactored Helper.hs | Marvin Borner | |
2024-02-29 | Added higher order reducer | Marvin Borner | |
2024-02-24 | Added reducer selection flag | Marvin Borner | |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-09-06 | Refactored Helper.hs | Marvin Borner | |
2024-02-29 | Added higher order reducer | Marvin Borner | |
2024-02-24 | Added reducer selection flag | Marvin Borner | |