aboutsummaryrefslogtreecommitdiff
path: root/source/lux/host/jvm.lux
diff options
context:
space:
mode:
authorEduardo Julian2015-09-28 21:22:42 -0400
committerEduardo Julian2015-09-28 21:22:42 -0400
commit968eb87adef6d62803543adf2ec51049527ccb33 (patch)
tree92d6462bae32cb57d22b1db90d47f3c2482c5887 /source/lux/host/jvm.lux
parent39a00124a102e5479271c2dbd6791979a34e1e2e (diff)
- Added a rule that Void is a subtype of every other type.
- Added the type-checking rules for existential quantification (ExQ). - Fixed one of the rules for type-checking universal quantification (UnivQ).
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions