summaryrefslogtreecommitdiff
path: root/src/CHAD/Accum.hs
Commit message (Collapse)AuthorAge
* WIP revamp accumulators again: explicit monoid typesTom Smeding9 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 revampTom Smeding2025-03-14
|
* Compile: Implement EWith (TODO EAccum)Tom Smeding2025-03-05
| | | | That's going to be a mess
* Add ext field to remaining AST constructorsTom Smeding2025-01-27
|
* WIP accum top-level argsTom Smeding2024-11-26