aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/quantitative.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* Made the "try" macro into a common one, instead of a host-specific one.Eduardo Julian2021-07-101-0/+4