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	12 months
master	UnMonoid: EAccum is an interesting case	Tom Smeding	2 weeks
multihot-cotangents	WIP	Tom Smeding	12 days
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 days
sparse-lattice-test	WIP test that Sparse is a join-semilattice	Tom Smeding	3 days
test-catch-exc	WIP exception catching in test-framework	Tom Smeding	11 months
test-parallel	WIP parallel test suite	Tom Smeding	8 months
user-types	WIP user-specified custom types	Tom Smeding	3 months


Age	Commit message	Author
2025-11-27	WIP user-specified custom typesuser-types	Tom Smeding
2025-11-26	APIv1: Some fixes	Tom Smeding
2025-11-22	Add a simplify rule	Tom Smeding
2025-11-22	Remove redundant test dependency	Tom Smeding
2025-11-22	Add some .gitignores	Tom Smeding
2025-11-22	Fix typo	Tom Smeding
2025-11-13	UnMonoid: Use eunPair	Tom Smeding
2025-11-13	Sparse: Maybe prevent another SpSparse introduction	Tom Smeding
2025-11-11	User-facing API suggestion	Tom Smeding
2025-11-10	hlint cleanup	Tom Smeding
[...]