aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/union_and_intersection.md (follow)
Commit message (Expand)AuthorAgeFilesLines
* First-class programs instead of having a "lux program" extension.Eduardo Julian2022-07-091-5/+0
* Better syntax for invoking super methods inside overriden methods.Eduardo Julian2022-06-141-0/+5