diff options
| author | Eduardo Julian | 2015-09-28 21:22:42 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2015-09-28 21:22:42 -0400 |
| commit | 968eb87adef6d62803543adf2ec51049527ccb33 (patch) | |
| tree | 92d6462bae32cb57d22b1db90d47f3c2482c5887 /src/lang.clj | |
| parent | 39a00124a102e5479271c2dbd6791979a34e1e2e (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 'src/lang.clj')
0 files changed, 0 insertions, 0 deletions