aboutsummaryrefslogtreecommitdiff
path: root/src/HSVIS/Typecheck.hs
Commit message (Expand)AuthorAge
* Typecheck work; solver is incorrectTom Smeding2024-03-17
* Some typechecker workTom Smeding2024-03-14
* Little typecheck workTom Smeding2024-03-01
* Destroy fancy typing, and some workTom Smeding2024-02-29
* Trees that explodeTom Smeding2024-02-27
* WIP typecheck and other stuffTom Smeding2024-02-26