| Age | Commit message (Expand) | Author |
|---|---|---|
| 2021-04-09 | Make some progress, I guesstypes | Greg Brown |
| 2021-03-02 | Introduce function types.•••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. | Greg Brown |
| 2021-01-21 | Fix many warnings. | Greg Brown |
| 2021-01-19 | Remove usage of `extra-traits` feature of syn. | Greg Brown |
| 2021-01-14 | Add labelled expressions.•••Restructure project (again). Convert `Cat` and `Alt` from binary to n+2-ary. | Greg Brown |
