Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-03-02 | Introduce function types. | Greg Brown | |
Function types are just functions from types to check-results. Nothing more than delayed computation. Efficiency will initially be no better than current. Caching results could help, but that's a future problem. An alternative approach is introducing constraints. That would be a bigger architectural change, with more complex processing. On the other hand, adding future extensions would be easier. | |||
2021-02-03 | Fix bug where all literals get an `Into<char>` implementation. | Greg Brown | |
2021-01-21 | Fix many warnings. | Greg Brown | |
2021-01-16 | Fix warnings in `lower`. | 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-06 | Restructure code base to separate compilation phases. | Greg Brown | |