Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-05-06 | Introduce lambda expressions. | Greg Brown | |
2021-04-30 | Replace substitution with translation. | Greg Brown | |
2021-02-17 | Fix small bug with naming. | Greg Brown | |
2021-01-21 | Fix many warnings. | Greg Brown | |
2021-01-14 | Add labelled expressions. | Greg Brown | |
Restructure project (again). Convert `Cat` and `Alt` from binary to n+2-ary. |