aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
fusionWIP fusion stuffTom Smeding2 months
hashable-gadtSome non-working code lolTom Smeding12 months
masterUnMonoid: EAccum is an interesting caseTom Smeding11 days
multihot-cotangentsWIPTom Smeding9 days
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding4 months
recompute-primalstoresWIP: Store subset of D1 Gamma for recompute at binding sitesTom Smeding22 hours
test-catch-excWIP exception catching in test-frameworkTom Smeding11 months
test-parallelWIP parallel test suiteTom Smeding8 months
user-typesWIP user-specified custom typesTom Smeding3 months
 
 
AgeCommit messageAuthor
11 daysUnMonoid: EAccum is an interesting caseHEADmasterTom Smeding
11 daysRemove spurious work duplication in unMonoid EAccumTom Smeding
2026-02-08Use helper methods in UnMonoid(plus)Tom Smeding
2026-02-08Remove sparsePlus, it's just EPlus on applySparseTom Smeding
2026-01-26Optimise eflattenTom 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
[...]