aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/Type theory (unfollow)
Commit message (Expand)AuthorFilesLines
2020-05-10Now properly loading the cached definitions.Eduardo Julian1-0/+1
2020-05-09Including runtime machinery in the cache.Eduardo Julian1-0/+4
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