aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/Type theory (unfollow)
Commit message (Expand)AuthorFilesLines
2020-10-31Re-named the directory for my bookmarks to better reflect what they are.Eduardo Julian2-47/+0
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