aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/linear.md (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Dusting off the pure-Lux JVM compiler machinery.Eduardo Julian2021-12-241-4/+0
|
* Re-named "spec" hierarchy to "specification".Eduardo Julian2021-07-151-0/+4