summaryrefslogtreecommitdiff
path: root/example.txt
Commit message (Collapse)AuthorAge
* One/UnitTom Smeding2024-01-08
|
* Can typecheck universe-polymorphic idTom Smeding2023-12-23