aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)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
|
* update readmeJJ2023-04-05
|
* wipJJ2023-04-05
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-16 17:27:53 +0000