summaryrefslogtreecommitdiff
path: root/miniagda.cabal
Commit message (Collapse)AuthorAge
* Can typecheck universe-polymorphic idTom Smeding2023-12-23
|
* StuffTom Smeding2023-12-22
|
* InitialTom Smeding2023-12-21