aboutsummaryrefslogtreecommitdiff
path: root/src/HSVIS/Typecheck
Commit message (Collapse)AuthorAge
* Working kind inferenceTom Smeding2024-03-22
|
* Typecheck work; solver is incorrectTom Smeding2024-03-17
|
* Some typechecker workTom Smeding2024-03-14