aboutsummaryrefslogtreecommitdiff
path: root/src/HSVIS/Diagnostic.hs
Commit message (Expand)AuthorAge
* Typecheck work; solver is incorrectTom Smeding2024-03-17
* WIP typecheck and other stuffTom Smeding2024-02-26
* Diagnostics refactorTom Smeding2024-02-26