Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-02-24 | Moved license/readme | Marvin Borner | |
2022-07-18 | Added LICENSE | Marvin Borner | |
2022-06-17 | Documentation | Marvin Borner | |
2022-04-12 | Initial commit | Marvin Borner | |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-02-24 | Moved license/readme | Marvin Borner | |
2022-07-18 | Added LICENSE | Marvin Borner | |
2022-06-17 | Documentation | Marvin Borner | |
2022-04-12 | Initial commit | Marvin Borner | |