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