chad-fast - [no description]

Branch	Commit message	Author	Age
evm	rules: Attempt at merge/accum parameterised transformation	Tom Smeding	14 months
fold	Count: Improve counting of tape in EFold1InnerD1	Tom Smeding	5 hours
hashable-gadt	Some non-working code lol	Tom Smeding	8 months
master	More precise reconstructBindings interface	Tom Smeding	39 hours
sparse	Some more effects to not ignore	Tom Smeding	4 months
test-catch-exc	WIP exception catching in test-framework	Tom Smeding	7 months
test-parallel	WIP parallel test suite	Tom Smeding	4 months


Age	Commit message	Author
5 hours	Count: Improve counting of tape in EFold1InnerD1fold	Tom Smeding
15 hours	WIP fold: everything but Compile (slow, but should be sound)	Tom Smeding
39 hours	subenvSplit (unused, commented out, but it's written now)	Tom Smeding
39 hours	WIP fold: Implement D[fold1i]	Tom Smeding
39 hours	More precise reconstructBindings interfaceHEAD master	Tom Smeding
39 hours	No need for assertSubenvEmpty in D[build]	Tom Smeding
39 hours	Helper functions bpush and weakenBindingsE	Tom Smeding
39 hours	pipeline helpers in Example	Tom Smeding
39 hours	Add uniform-tree test and benchmark	Tom Smeding
4 days	bench: Simplify before differentiating	Tom Smeding
[...]