aboutsummaryrefslogtreecommitdiff
path: root/src/HSVIS/Typecheck
Commit message (Expand)AuthorAge
* Typecheck work; solver is incorrectTom Smeding2024-03-17
* Some typechecker workTom Smeding2024-03-14