aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding15 months
fusionWIP: Think about fusionTom Smeding6 hours
hashable-gadtSome non-working code lolTom Smeding9 months
masterAdd a simplify ruleTom Smeding6 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
6 hoursAdd a simplify ruleHEADmasterTom Smeding
8 hoursRemove redundant test dependencyTom Smeding
9 hoursAdd some .gitignoresTom Smeding
9 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
12 daysMove module hierarchy under CHAD.Tom Smeding
[...]