aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
fusionWIP fusion stuffTom Smeding3 months
hashable-gadtSome non-working code lolTom Smeding13 months
masterUnMonoid: EAccum is an interesting caseTom Smeding6 weeks
multihot-cotangentsWIPTom Smeding5 weeks
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding4 months
recompute-primalstoresWIP: Store subset of D1 Gamma for recompute at binding sitesTom Smeding4 weeks
sparse-lattice-testWIP test that Sparse is a join-semilatticeTom Smeding4 weeks
test-catch-excWIP exception catching in test-frameworkTom Smeding12 months
test-parallelWIP parallel test suiteTom Smeding9 months
user-typesWIP user-specified custom typesTom Smeding4 months
 
 
AgeCommit messageAuthor
2025-11-07Rewrite CPSy code as do-code using QualifiedDoqualified-contdoTom Smeding
2025-11-05Add a stupid Map testTom Smeding
2025-11-05Fix pretty-printing for MapTom Smeding
2025-11-05Some extra Map optimisationsTom Smeding
2025-11-05test-framework: Catch exceptions also in sequential runnerTom Smeding
2025-11-05Implement D[map]Tom Smeding
2025-11-05Cleanup of D[build] and D[fold1i]Tom Smeding
2025-11-04drevLambda works, TODO D[map]Tom Smeding
2025-11-04autoWeak: Improve typingTom Smeding
2025-11-03WIP drevLambda abstraction!Tom Smeding
[...]
generated by cgit v1.2.3-70-g09d2 (git 2.52.0) at 2026-03-24 10:32:14 +0100