aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/refinement.md (unfollow)
Commit message (Expand)AuthorFilesLines
2021-05-18Got rid of the {}s in ":share" and made it pipe-able.Eduardo Julian1-0/+0
2020-12-04Re-named old luxc-jvm to lux-bootstrapper.Eduardo Julian1-0/+4