summaryrefslogtreecommitdiff
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-02-27Some non-working code lolhashable-gadtTom Smeding
2025-02-25Add .ccls-cache to .gitignoreTom Smeding
2025-02-25Comment unhandled cases instead of getting 1e6 warningsTom Smeding
2025-02-25UnMonoid: Properly recurseTom Smeding
2025-02-25Pretty: Allow colouring exts (currently not)Tom Smeding
2025-02-25Compile: Emit structs in proper orderTom Smeding
2025-01-28Purge Example.FormatTom Smeding
2025-01-28Pretty-printer that supports extension fieldsTom Smeding
2025-01-27Complete identity analysisTom Smeding
2025-01-27Add ext field to remaining AST constructorsTom Smeding
[...]