| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | WIP user-specified custom typesuser-types | Tom Smeding | 16 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. | ||
| * | Move module hierarchy under CHAD. | Tom Smeding | 2025-11-10 |
 |
index : chad-fast | |
| [no description] | git daemon user |
| aboutsummaryrefslogtreecommitdiff |