aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/uniqueness.md (unfollow)
Commit message (Expand)AuthorFilesLines
2022-08-12Fixed test suite.Eduardo Julian1-0/+5