| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | WIP user-specified custom typesuser-types | Tom Smeding | 14 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. | |||
