aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding15 months
fusionWIP: Think about fusionTom Smeding7 hours
hashable-gadtSome non-working code lolTom Smeding9 months
masterAdd a simplify ruleTom Smeding7 hours
qualified-contdoRewrite CPSy code as do-code using QualifiedDoTom Smeding2 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
 
 
AgeCommit messageAuthor
7 hoursWIP: Think about fusionfusionTom Smeding
7 hoursAdd a simplify ruleHEADmasterTom Smeding
10 hoursRemove redundant test dependencyTom Smeding
10 hoursAdd some .gitignoresTom Smeding
10 hoursFix typoTom Smeding
9 daysUnMonoid: Use eunPairTom Smeding
9 daysSparse: Maybe prevent another SpSparse introductionTom Smeding
11 daysUser-facing API suggestionTom Smeding
12 dayshlint cleanupTom Smeding
12 daysUse ImportQualifiedPostTom Smeding
[...]