aboutsummaryrefslogtreecommitdiff
path: root/src/CHAD/AST.hs-boot
Commit message (Collapse)AuthorAge
* WIP user-specified custom typesuser-typesTom Smeding14 hours
The big roadblock encountered is that accumulation wants addition of monoids to be elementwise float addition; this fundamentally clashes with the concept of a user type with a custom zero and plus.