aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
fusionWIP fusion stuffTom Smeding8 weeks
hashable-gadtSome non-working code lolTom Smeding11 months
masterOptimise eflattenTom Smeding5 days
multihot-cotangentsMultihot cotangents WIP (doesn't work)Tom Smeding5 days
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding3 months
test-catch-excWIP exception catching in test-frameworkTom Smeding11 months
test-parallelWIP parallel test suiteTom Smeding7 months
user-typesWIP user-specified custom typesTom Smeding2 months
 
 
AgeCommit messageAuthor
5 daysOptimise 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
2025-11-11User-facing API suggestionTom Smeding
[...]