aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding15 months
fusionWIP stuffTom Smeding33 hours
hashable-gadtSome non-working code lolTom Smeding9 months
masterAPIv1: Some fixesTom Smeding38 hours
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding3 weeks
sparseSome more effects to not ignoreTom Smeding5 months
test-catch-excWIP exception catching in test-frameworkTom Smeding8 months
test-parallelWIP parallel test suiteTom Smeding5 months
user-typesWIP user-specified custom typesTom Smeding10 hours
 
 
AgeCommit messageAuthor
10 hoursWIP user-specified custom typesuser-typesTom Smeding
38 hoursAPIv1: Some fixesHEADmasterTom Smeding
5 daysAdd a simplify ruleTom Smeding
5 daysRemove redundant test dependencyTom Smeding
5 daysAdd some .gitignoresTom Smeding
5 daysFix typoTom Smeding
2025-11-13UnMonoid: Use eunPairTom Smeding
2025-11-13Sparse: Maybe prevent another SpSparse introductionTom Smeding
2025-11-11User-facing API suggestionTom Smeding
2025-11-10hlint cleanupTom Smeding
[...]