aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/Type theory/Cost analysis.md (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Got rid of the {}s in ":share" and made it pipe-able.Eduardo Julian2021-05-181-4/+0
|
* Re-named old luxc-jvm to lux-bootstrapper.Eduardo Julian2020-12-041-0/+4