Age | Commit message (Expand) | Author |
---|---|---|
2024-02-25 | Fixed warnings | Marvin Borner |
2024-02-24 | Minor ION cleanup | Marvin Borner |
2024-02-24 | Initial import of the ION 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 (Expand) | Author |
---|---|---|
2024-02-25 | Fixed warnings | Marvin Borner |
2024-02-24 | Minor ION cleanup | Marvin Borner |
2024-02-24 | Initial import of the ION reducer | Marvin Borner |
2024-02-24 | Added reducer selection flag | Marvin Borner |