aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
fusionWIP fusion stuffTom Smeding8 weeks
hashable-gadtSome non-working code lolTom Smeding11 months
masterOptimise eflattenTom Smeding11 days
multihot-cotangentsMultihot cotangents WIP (doesn't work)Tom Smeding11 days
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding3 months
test-catch-excWIP exception catching in test-frameworkTom Smeding11 months
test-parallelWIP parallel test suiteTom Smeding8 months
user-typesWIP user-specified custom typesTom Smeding2 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-02-06 20:49:23 +0100