summaryrefslogtreecommitdiff
path: root/src/CHAD/Top.hs
Commit message (Collapse)AuthorAge
* BenchmarkTom Smeding2024-11-07