aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory.md (unfollow)
Commit message (Expand)AuthorFilesLines
2021-11-08Sharing the same Function class between bootsrapper and JVM compiler.Eduardo Julian1-0/+1
2021-07-15Re-named "spec" hierarchy to "specification".Eduardo Julian1-0/+7