aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* clippy cleanupsHEADmainJJ2023-07-20
|
* 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
| | | | to unions/structs
* 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
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-16 10:24:21 +0000