aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/unit.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Properly handling variance for arrays to avoid invalid subtyping.Eduardo Julian2022-04-041-2/+3
* Now allowing compilers to generate custom-named outputs.Eduardo Julian2021-07-171-0/+1
* Re-named "spec" hierarchy to "specification".Eduardo Julian2021-07-151-0/+4