aboutsummaryrefslogtreecommitdiff
path: root/src/lib.rs
Commit message (Collapse)AuthorAge
* clippy cleanupsHEADmainJJ2023-07-20
|
* implement typeclasses as interfacesJJ2023-07-20
|
* split bidirectional checking and conversion + defaults out of simple.rsJJ2023-04-13
|
* major cleanups: extend Type, refactor Term, and switch to String errsJJ2023-04-13
|
* rename project, write parser testsJJ2023-04-06