summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Some W-type notesTom Smeding2024-01-09
|
* One/UnitTom Smeding2024-01-08
|
* Can typecheck universe-polymorphic idTom Smeding2023-12-23
|
* StuffTom Smeding2023-12-22
|
* InitialTom Smeding2023-12-21