aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/unit.md (unfollow)
Commit message (Expand)AuthorFilesLines
2022-04-04Properly handling variance for arrays to avoid invalid subtyping.Eduardo Julian1-2/+3
2021-07-17Now allowing compilers to generate custom-named outputs.Eduardo Julian1-0/+1
2021-07-15Re-named "spec" hierarchy to "specification".Eduardo Julian1-0/+4