Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | D2[Array] now has a Maybe instead of zero-size for zero | Tom Smeding | 5 days |
| | | | | Remaining problem: 'add' in Compile doesn't use the D2 stuff | ||
* | Commutativity marker on fold1i | Tom Smeding | 11 days |
| | |||
* | Much process with accumulator revamp | Tom Smeding | 2025-03-14 |
| | |||
* | WIP revamp accumulator projection type repr | Tom Smeding | 2025-03-14 |
| | | | | | | | 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. | ||
* | UnMonoid: Properly recurse | Tom Smeding | 2025-02-25 |
| | |||
* | Add ext field to remaining AST constructors | Tom Smeding | 2025-01-27 |
| | |||
* | UnMonoid | Tom Smeding | 2024-12-06 |
| | |||
* | WIP UnMonoid (to be used for compiling to C) | Tom Smeding | 2024-12-06 |