Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-01-14 | Finish AutoChomp | Greg Brown | |
2021-01-14 | Add labelled expressions. | Greg Brown | |
Restructure project (again). Convert `Cat` and `Alt` from binary to n+2-ary. | |||
2021-01-08 | Do more restructuring. | Greg Brown | |
2021-01-06 | Restructure code base to separate compilation phases. | Greg Brown | |
2020-12-08 | Make substitution into a macro. | Greg Brown | |
2020-11-30 | Change type check infrastructure | Greg Brown | |
2020-11-25 | Add let statements | Greg Brown | |
2020-11-25 | Add substitution. | Greg Brown | |
2020-11-23 | Improve error messages | Greg Brown | |
2020-11-23 | Introduce guarded variables | Greg Brown | |
2020-11-21 | Add code generation | Greg Brown | |