summaryrefslogtreecommitdiffhomepage
BranchCommit messageAuthorAge
maininitial draft of a new, actually decent lexerJJ13 months
slidestoss presentation slides up on the internetJJ13 months
 
TagDownloadAuthorAge
cpsc539commit 188631f3bb...JJ13 months
 
AgeCommit messageAuthor
2023-04-13initial draft of a new, actually decent lexerHEADmainJJ
2023-04-13trash previous parser + lexerJJ
2023-04-13split bidirectional checking and conversion + defaults out of simple.rsJJ
2023-04-13unbreak testsJJ
2023-04-13major cleanups: extend Type, refactor Term, and switch to String errsJJ
2023-04-12minor cleanupscpsc539JJ
2023-04-12subtyping wipJJ
2023-04-11write tests for bidirectional checkingJJ
2023-04-11more util helpers, cut down test code verbosityJJ
2023-04-11https://youtu.be/GwQW3KW3DCc?t=63JJ
[...]
 
Clone
https://git.apropos.codes/chrysanthemum
https://github.com/j-james/chrysanthemum.git