Branch | Commit message | Author | Age | |
---|---|---|---|---|
main | initial draft of a new, actually decent lexer | JJ | 13 months | |
slides | toss presentation slides up on the internet | JJ | 13 months | |
Tag | Download | Author | Age | |
cpsc539 | commit 188631f3bb... | JJ | 13 months | |
Age | Commit message | Author | ||
2023-04-13 | initial draft of a new, actually decent lexerHEADmain | JJ | ||
2023-04-13 | trash previous parser + lexer | JJ | ||
2023-04-13 | split bidirectional checking and conversion + defaults out of simple.rs | JJ | ||
2023-04-13 | unbreak tests | JJ | ||
2023-04-13 | major cleanups: extend Type, refactor Term, and switch to String errs | JJ | ||
2023-04-12 | minor cleanupscpsc539 | JJ | ||
2023-04-12 | subtyping wip | JJ | ||
2023-04-11 | write tests for bidirectional checking | JJ | ||
2023-04-11 | more util helpers, cut down test code verbosity | JJ | ||
2023-04-11 | https://youtu.be/GwQW3KW3DCc?t=63 | JJ | ||
[...] | ||||
Clone | ||||
https://git.apropos.codes/chrysanthemum | ||||
https://github.com/j-james/chrysanthemum.git |