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