aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Sharing the same Function class between bootsrapper and JVM compiler.Eduardo Julian2021-11-081-0/+1
* Re-named "spec" hierarchy to "specification".Eduardo Julian2021-07-151-0/+7