| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Use helper methods in UnMonoid(plus) | Tom Smeding | 5 days |
| | | |||
| * | UnMonoid: Use eunPair | Tom Smeding | 2025-11-13 |
| | | |||
| * | Move module hierarchy under CHAD. | Tom Smeding | 2025-11-10 |
 |
index : chad-fast | |
| An implementation of CHAD, towards performance | git daemon user |
| aboutsummaryrefslogtreecommitdiff |