| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | UnMonoid: EAccum is an interesting caseHEADmaster | Tom Smeding | 20 hours |
| * | Remove spurious work duplication in unMonoid EAccum | Tom Smeding | 20 hours |
| * | 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 |