aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/Type theory (follow)
Commit message (Expand)AuthorAgeFilesLines
* Now properly loading the cached definitions.Eduardo Julian2020-05-101-0/+1
* Including runtime machinery in the cache.Eduardo Julian2020-05-091-0/+4
* Modified compiler's machinery to use the new abstractions for descriptors and...Eduardo Julian2019-09-071-0/+4
* Small improvements here and there.Eduardo Julian2019-07-241-0/+38