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