aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding17 months
fusionWIP fusion stuffTom Smeding7 weeks
hashable-gadtSome non-working code lolTom Smeding11 months
masterOptimise eflattenTom Smeding4 hours
multihot-cotangentsMultihot cotangents WIP (doesn't work)Tom Smeding4 hours
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding3 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 Smeding9 weeks
 
 
AgeCommit messageAuthor
4 hoursMultihot cotangents WIP (doesn't work)multihot-cotangentsTom Smeding
4 hoursOptimise eflattenHEADmasterTom Smeding
2025-12-10Import CHAD.Language also qualified as L in ExampleTom 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
2025-11-13Sparse: Maybe prevent another SpSparse introductionTom Smeding
[...]