aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/Type theory (follow)
Commit message (Expand)AuthorAgeFilesLines
* Re-named old luxc-jvm to lux-bootstrapper.Eduardo Julian2020-12-043-0/+9
* Test for Aedifex's "auto" command.Eduardo Julian2020-12-022-0/+5
* Re-named the directory for my bookmarks to better reflect what they are.Eduardo Julian2020-10-312-0/+47