summaryrefslogtreecommitdiff
path: root/src/TypeCheck.hs
Commit message (Expand)AuthorAge
* Some typing rule commentsHEADmasterTom Smeding2024-01-20
* Can typecheck universe-polymorphic idTom Smeding2023-12-23
* StuffTom Smeding2023-12-22
* InitialTom Smeding2023-12-21