aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/Type theory/Type checking.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Got rid of the {}s in ":share" and made it pipe-able.Eduardo Julian2021-05-181-4/+0
* Test for Aedifex's "auto" command.Eduardo Julian2020-12-021-0/+4