aboutsummaryrefslogtreecommitdiff
path: root/documentation/bookmark/type_theory/union_and_intersection.md (unfollow)
Commit message (Collapse)AuthorFilesLines
2022-07-09First-class programs instead of having a "lux program" extension.Eduardo Julian1-5/+0
2022-06-14Better syntax for invoking super methods inside overriden methods.Eduardo Julian1-0/+5