aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/Type theory/Dependent types.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Got rid of the {}s in ":share" and made it pipe-able.Eduardo Julian2021-05-181-49/+0
* Mo' updates, less problems.Eduardo Julian2021-02-071-0/+4
* Re-named old luxc-jvm to lux-bootstrapper.Eduardo Julian2020-12-041-0/+1
* 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