chad-fast - [no description]

Branch	Commit message	Author	Age
evm	rules: Attempt at merge/accum parameterised transformation	Tom Smeding	16 months
fusion	WIP fusion stuff	Tom Smeding	13 days
hashable-gadt	Some non-working code lol	Tom Smeding	10 months
master	Import CHAD.Language also qualified as L in Example	Tom Smeding	13 days
qualified-contdo	Rewrite CPSy code as do-code using QualifiedDo	Tom Smeding	6 weeks
sparse	Some more effects to not ignore	Tom Smeding	6 months
test-catch-exc	WIP exception catching in test-framework	Tom Smeding	9 months
test-parallel	WIP parallel test suite	Tom Smeding	6 months
user-types	WIP user-specified custom types	Tom Smeding	4 weeks


Age	Commit message	Author
2024-08-29	rules: Attempt at merge/accum parameterised transformationevm	Tom Smeding
2024-08-29	Generalise freezeRet a little bit	Tom Smeding
2024-08-29	Type up some of the rules in LaTeX	Tom Smeding
2024-02-15	Add missing import	Tom Smeding
2024-01-27	Ramblings in Compile	Tom Smeding
2024-01-27	Move some definitions from AST to Data	Tom Smeding
2024-01-27	Less default case	Tom Smeding
2024-01-26	Linear-time tape reconstruction	Tom Smeding
2024-01-25	Embrace the PartialTypeSignatures	Tom Smeding
2024-01-25	Finish rewrite	Tom Smeding
[...]