aboutsummaryrefslogtreecommitdiff
path: root/documentation/research/Type theory/Dependent types.md (follow)
Commit message (Collapse)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 ↵Eduardo Julian2019-09-071-0/+4
| | | | and signatures.
* Small improvements here and there.Eduardo Julian2019-07-241-0/+38