aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
masterinitial work on term rewrite rule parsingBryan Newbold2 months
 
 
AgeCommit messageAuthorFilesLines
2021-11-13initial work on term rewrite rule parsingHEADmasterBryan Newbold2-0/+218
2021-11-11notes on term rewritingBryan Newbold1-0/+54
2021-11-11commit old plan fileBryan Newbold1-0/+65
2021-11-11more canonicalization tests, from old plan.txtBryan Newbold1-0/+5
2021-11-07small test additionsBryan Newbold1-0/+2
2021-10-25crate-local Result alias for less verbose type signaturesBryan Newbold2-23/+22
2021-10-25refactor into lib-style crate, and add some early testsBryan Newbold5-35/+99
2021-10-24constants; clean up product and sum codeBryan Newbold1-54/+169
2021-10-24more progressBryan Newbold3-106/+159
2021-10-24progressBryan Newbold3-97/+154
[...]
 
Clone
git@git.bnewbold.net:casual
https://git.bnewbold.net/casual
git://git.bnewbold.net/casual