| Commit message (Collapse) | 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 | |
| [no description] | git daemon user |
| aboutsummaryrefslogtreecommitdiff |
| Commit message (Collapse) | 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 |