| 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. | ||
| * | APIv1: Some fixesHEADmaster | Tom Smeding | 42 hours |
| | | |||
| * | Fix typo | Tom Smeding | 6 days |
| | | |||
| * | User-facing API suggestion | Tom Smeding | 2025-11-11 |
