aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAge
* split bidirectional checking and conversion + defaults out of simple.rsJJ2023-04-13
* 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
* write tests for bidirectional checkingJJ2023-04-12
* more util helpers, cut down test code verbosityJJ2023-04-12
* https://youtu.be/GwQW3KW3DCc?t=63JJ2023-04-12
* add support for function types to parse_lambdaJJ2023-04-11
* initial draft of an actual multi-line language parserJJ2023-04-11
* slight cleanupsJJ2023-04-11
* write a lexerJJ2023-04-11
* bidirectional workingJJ2023-04-11
* bidirectional wipJJ2023-04-10
* bidirectional wtfJJ2023-04-10
* begin bidirectional implementationJJ2023-04-06
* don't panic when parsing bad types (this is genuinely awful)JJ2023-04-06
* refactor execute to not panic and write testsJJ2023-04-06
* rename project, write parser testsJJ2023-04-06
* this was a bad ideaJJ2023-04-05
* wipJJ2023-04-05