aboutsummaryrefslogtreecommitdiff
path: root/src/util.rs
Commit message (Expand)AuthorAge
* minor fix: enumsJJ2023-07-19
* unbreak testsJJ2023-04-13
* major cleanups: extend Type, refactor Term, and switch to String errsJJ2023-04-13
* minor cleanupscpsc539JJ2023-04-13
* subtyping wipJJ2023-04-13
* more util helpers, cut down test code verbosityJJ2023-04-12
* rename project, write parser testsJJ2023-04-06