chad-fast - An implementation of CHAD, towards performance

Branch	Commit message	Author	Age
fusion	WIP fusion stuff	Tom Smeding	3 months
hashable-gadt	Some non-working code lol	Tom Smeding	13 months
master	UnMonoid: EAccum is an interesting case	Tom Smeding	6 weeks
multihot-cotangents	WIP	Tom Smeding	5 weeks
qualified-contdo	Rewrite CPSy code as do-code using QualifiedDo	Tom Smeding	4 months
recompute-primalstores	WIP: Store subset of D1 Gamma for recompute at binding sites	Tom Smeding	4 weeks
sparse-lattice-test	WIP test that Sparse is a join-semilattice	Tom Smeding	4 weeks
test-catch-exc	WIP exception catching in test-framework	Tom Smeding	12 months
test-parallel	WIP parallel test suite	Tom Smeding	9 months
user-types	WIP user-specified custom types	Tom Smeding	4 months


Age	Commit message	Author
2025-02-27	Some non-working code lolhashable-gadt	Tom Smeding
2025-02-25	Add .ccls-cache to .gitignore	Tom Smeding
2025-02-25	Comment unhandled cases instead of getting 1e6 warnings	Tom Smeding
2025-02-25	UnMonoid: Properly recurse	Tom Smeding
2025-02-25	Pretty: Allow colouring exts (currently not)	Tom Smeding
2025-02-25	Compile: Emit structs in proper order	Tom Smeding
2025-01-28	Purge Example.Format	Tom Smeding
2025-01-28	Pretty-printer that supports extension fields	Tom Smeding
2025-01-27	Complete identity analysis	Tom Smeding
2025-01-27	Add ext field to remaining AST constructors	Tom Smeding
[...]