aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding16 months
fusionWIP fusion stuffTom Smeding14 days
hashable-gadtSome non-working code lolTom Smeding10 months
masterImport CHAD.Language also qualified as L in ExampleTom Smeding13 days
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding7 weeks
sparseSome more effects to not ignoreTom Smeding6 months
test-catch-excWIP exception catching in test-frameworkTom Smeding9 months
test-parallelWIP parallel test suiteTom Smeding6 months
user-typesWIP user-specified custom typesTom Smeding4 weeks
 
 
AgeCommit messageAuthor
2025-11-07Rewrite CPSy code as do-code using QualifiedDoqualified-contdoTom Smeding
2025-11-05Add a stupid Map testTom Smeding
2025-11-05Fix pretty-printing for MapTom Smeding
2025-11-05Some extra Map optimisationsTom Smeding
2025-11-05test-framework: Catch exceptions also in sequential runnerTom Smeding
2025-11-05Implement D[map]Tom Smeding
2025-11-05Cleanup of D[build] and D[fold1i]Tom Smeding
2025-11-04drevLambda works, TODO D[map]Tom Smeding
2025-11-04autoWeak: Improve typingTom Smeding
2025-11-03WIP drevLambda abstraction!Tom Smeding
[...]
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-12-23 10:43:06 +0100