aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
fusionWIP fusion stuffTom Smeding4 months
hashable-gadtSome non-working code lolTom Smeding13 months
masterUnMonoid: EAccum is an interesting caseTom Smeding9 weeks
multihot-cotangentsWIPTom Smeding8 weeks
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding5 months
recompute-primalstoresWIP: Store subset of D1 Gamma for recompute at binding sitesTom Smeding7 weeks
sparse-lattice-testWIP test that Sparse is a join-semilatticeTom Smeding7 weeks
test-catch-excWIP exception catching in test-frameworkTom Smeding13 months
test-parallelWIP parallel test suiteTom Smeding10 months
user-typesWIP user-specified custom typesTom Smeding4 months