aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
fusionWIP fusion stuffTom Smeding3 months
hashable-gadtSome non-working code lolTom Smeding12 months
masterUnMonoid: EAccum is an interesting caseTom Smeding4 weeks
multihot-cotangentsWIPTom Smeding4 weeks
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding4 months
recompute-primalstoresWIP: Store subset of D1 Gamma for recompute at binding sitesTom Smeding3 weeks
sparse-lattice-testWIP test that Sparse is a join-semilatticeTom Smeding3 weeks
test-catch-excWIP exception catching in test-frameworkTom Smeding12 months
test-parallelWIP parallel test suiteTom Smeding9 months
user-typesWIP user-specified custom typesTom Smeding3 months
 
 
AgeCommit messageAuthor
2026-02-14WIPmultihot-cotangentsTom Smeding
2026-02-12WIPTom Smeding
2026-02-12WIP (continue in UnMonoid)Tom Smeding
2026-02-12Multihot cotangents WIP (doesn't work)Tom Smeding
2026-02-12UnMonoid: EAccum is an interesting caseHEADmasterTom 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
[...]