aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding16 months
fusionWIP fusion stuffTom Smeding4 weeks
hashable-gadtSome non-working code lolTom Smeding10 months
masterImport CHAD.Language also qualified as L in ExampleTom Smeding4 weeks
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding2 months
sparseSome more effects to not ignoreTom Smeding7 months
test-catch-excWIP exception catching in test-frameworkTom Smeding10 months
test-parallelWIP parallel test suiteTom Smeding7 months
user-typesWIP user-specified custom typesTom Smeding6 weeks
 
 
AgeCommit messageAuthor
2025-12-09WIP fusion stufffusionTom Smeding
2025-11-26WIP stuffTom Smeding
2025-11-26fusion: buildLoopNestTom Smeding
2025-11-26WIP: Think about fusionTom Smeding
2025-11-26APIv1: Some fixesTom Smeding
2025-11-22Add a simplify ruleTom Smeding
2025-11-22Remove redundant test dependencyTom Smeding
2025-11-22Add some .gitignoresTom Smeding
2025-11-22Fix typoTom Smeding
2025-11-13UnMonoid: Use eunPairTom Smeding
[...]