| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Remaining problem: 'add' in Compile doesn't use the D2 stuff
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
This doesn't work yet because Compile doesn't yet support EFold1Inner
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
| |
I stopped working on this because I realised that having sparse products
(and coproducts, prehaps) everywhere is a very bad idea in general, and
that we need to fix that first before really being able to do anything
else productive with performance.
|
|
|
|
| |
This improves (compactifies) hedgehog output
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Not sure why I didn't allow this previously
|
| |
|
| |
|
| |
|
| |
|
| |
|