aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/cost_analysis.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Re-named "spec" hierarchy to "specification".Eduardo Julian2021-07-151-0/+1
* Got rid of the {}s in ":share" and made it pipe-able.Eduardo Julian2021-05-181-0/+4