aboutsummaryrefslogtreecommitdiff
path: root/src/main.rs
Commit message (Expand)AuthorAge
* 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
* slight cleanupsJJ2023-04-11
* bidirectional workingJJ2023-04-11
* begin bidirectional implementationJJ2023-04-06
* rename project, write parser testsJJ2023-04-06
* wipJJ2023-04-05