aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/Type theory (unfollow)
Commit message (Expand)AuthorFilesLines
2021-05-18Got rid of the {}s in ":share" and made it pipe-able.Eduardo Julian5-65/+0
2021-02-07Mo' updates, less problems.Eduardo Julian1-0/+4
2020-12-04Re-named old luxc-jvm to lux-bootstrapper.Eduardo Julian3-0/+9
2020-12-02Test for Aedifex's "auto" command.Eduardo Julian2-0/+5
2020-10-31Re-named the directory for my bookmarks to better reflect what they are.Eduardo Julian2-0/+47