aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/Type theory/Dependent types.md (unfollow)
Commit message (Expand)AuthorFilesLines
2020-10-31Re-named the directory for my bookmarks to better reflect what they are.Eduardo Julian1-43/+0
2020-05-10Now properly loading the cached definitions.Eduardo Julian1-0/+1
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