| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Move module hierarchy under CHAD. | Tom Smeding | 2025-11-10 |
| * | Compatibility with ghc 9.8 | Tom Smeding | 2025-10-29 |
| * | Tracing simplifier | Tom Smeding | 2025-04-29 |
 |
index : chad-fast | |
| An implementation of CHAD, towards performance | git daemon user |
| aboutsummaryrefslogtreecommitdiff |