Age | Commit message (Expand) | Author |
---|---|---|
2022-08-31 | Unicodification | Marvin Borner |
2022-08-29 | Started mixfix chaining | Marvin Borner |
2022-08-26 | General std improvements | Marvin Borner |
2022-08-20 | Started math library | Marvin Borner |
index : marvinborner/bruijn | |
:abacus: Programming with pure lambda calculus | Marvin |
aboutsummaryrefslogtreecommitdiffhomepage |
Age | Commit message (Expand) | Author |
---|---|---|
2022-08-31 | Unicodification | Marvin Borner |
2022-08-29 | Started mixfix chaining | Marvin Borner |
2022-08-26 | General std improvements | Marvin Borner |
2022-08-20 | Started math library | Marvin Borner |