Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | WIP revamp accumulators again: explicit monoid types | Tom Smeding | 9 days |
| | | | | | | | | No more D2 in accumulators! Paving the way for configurable sparsity of products and arrays. The idea is to make separate monoid types for a "product cotangent" and an "array cotangent" that can be lowered to either a sparse monoid or a non-sparse monoid. Downsides of this approach: lots of API duplication. | ||
* | Much process with accumulator revamp | Tom Smeding | 2025-03-14 |
| | |||
* | Compile: Implement EWith (TODO EAccum) | Tom Smeding | 2025-03-05 |
| | | | | That's going to be a mess | ||
* | Add ext field to remaining AST constructors | Tom Smeding | 2025-01-27 |
| | |||
* | WIP accum top-level args | Tom Smeding | 2024-11-26 |