summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding13 months
fancy-countWIP pruneExpr in AST.CountTom Smeding2 months
hashable-gadtSome non-working code lolTom Smeding7 months
masterFix extremum bug in DualNumbersTom Smeding3 months
sparseSome more effects to not ignoreTom Smeding3 months
test-catch-excWIP exception catching in test-frameworkTom Smeding6 months
test-parallelWIP parallel test suiteTom Smeding3 months
 
 
AgeCommit messageAuthor
2024-08-29rules: Attempt at merge/accum parameterised transformationevmTom Smeding
2024-08-29Generalise freezeRet a little bitTom Smeding
2024-08-29Type up some of the rules in LaTeXTom Smeding
2024-02-15Add missing importTom Smeding
2024-01-27Ramblings in CompileTom Smeding
2024-01-27Move some definitions from AST to DataTom Smeding
2024-01-27Less default caseTom Smeding
2024-01-26Linear-time tape reconstructionTom Smeding
2024-01-25Embrace the PartialTypeSignaturesTom Smeding
2024-01-25Finish rewriteTom Smeding
[...]
generated by cgit v1.2.3-70-g09d2 (git 2.51.0) at 2025-09-24 01:30:53 +0200