aboutsummaryrefslogtreecommitdiff
path: root/src/CHAD/Simplify.hs
Commit message (Collapse)AuthorAge
* Add a simplify ruleTom Smeding6 days
|
* Move module hierarchy under CHAD.Tom Smeding2025-11-10
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-11-28 12:50:07 +0100