aboutsummaryrefslogtreecommitdiff
path: root/src/CHAD/AST
Commit message (Expand)AuthorAge
* WIP user-specified custom typesuser-typesTom Smeding14 hours
* UnMonoid: Use eunPairTom Smeding2025-11-13
* Sparse: Maybe prevent another SpSparse introductionTom Smeding2025-11-13
* User-facing API suggestionTom Smeding2025-11-11
* hlint cleanupTom Smeding2025-11-10
* Use ImportQualifiedPostTom Smeding2025-11-10
* Move module hierarchy under CHAD.Tom Smeding2025-11-10