summaryrefslogtreecommitdiff
path: root/src/TypeCheck.hs
Commit message (Collapse)AuthorAge
* InitialTom Smeding2023-12-21