aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/Type theory (unfollow)
Commit message (Expand)AuthorFilesLines
2019-09-07Modified compiler's machinery to use the new abstractions for descriptors and...Eduardo Julian1-0/+4
2019-07-24Small improvements here and there.Eduardo Julian1-0/+38