summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding11 months
fancy-countWIP pruneExpr in AST.CountTom Smeding2 weeks
hashable-gadtSome non-working code lolTom Smeding5 months
masterFix extremum bug in DualNumbersTom Smeding5 weeks
sparseSome more effects to not ignoreTom Smeding7 weeks
test-catch-excWIP exception catching in test-frameworkTom Smeding5 months
test-parallelWIP parallel test suiteTom Smeding7 weeks
 
 
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.50.0) at 2025-08-09 10:01:00 +0200