summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding14 months
hashable-gadtSome non-working code lolTom Smeding8 months
masterAdd a stupid Map testTom Smeding2 days
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding7 hours
sparseSome more effects to not ignoreTom Smeding5 months
test-catch-excWIP exception catching in test-frameworkTom Smeding8 months
test-parallelWIP parallel test suiteTom Smeding5 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-11-08 04:10:36 +0100