aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* generics, somewhat. also minor code cleanupsJJ2023-07-20
* implement typeclasses as interfacesJJ2023-07-20
* implement tuples, lists, arrays, slices, fix union subtypingJJ2023-07-20
* major cleanups: switch to dynamic Errors, impl Context, rename enums/records ...JJ2023-07-20
* minor fix: enumsJJ2023-07-19
* initial draft of a new, actually decent lexerJJ2023-04-13
* trash previous parser + lexerJJ2023-04-13
* 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