aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
fusionWIP fusion stuffTom Smeding6 months
hashable-gadtSome non-working code lolTom Smeding15 months
masterUp 'some' to 1.1Tom Smeding6 days
multihot-cotangentsWIPTom Smeding3 months
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding7 months
recompute-primalstoresWIP: Store subset of D1 Gamma for recompute at binding sitesTom Smeding3 months
sparse-lattice-testWIP test that Sparse is a join-semilatticeTom Smeding3 months
test-catch-excWIP exception catching in test-frameworkTom Smeding14 months
test-parallelWIP parallel test suiteTom Smeding11 months
user-typesWIP user-specified custom typesTom Smeding6 months
 
 
AgeCommit messageAuthor
2026-02-23WIP test that Sparse is a join-semilatticesparse-lattice-testTom Smeding
2026-02-12UnMonoid: EAccum is an interesting caseTom Smeding
2026-02-12Remove 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
[...]