aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/Type theory/Dependent types.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Test for Aedifex's "auto" command.Eduardo Julian2020-12-021-0/+1
* Re-named the directory for my bookmarks to better reflect what they are.Eduardo Julian2020-10-311-0/+43