diff options
author | Eduardo Julian | 2015-11-28 17:52:30 -0400 |
---|---|---|
committer | Eduardo Julian | 2015-11-28 17:52:30 -0400 |
commit | a1fafea3e8cacfcf8d28c05bbe62e4a57483a1ae (patch) | |
tree | 57d531369d94efb15d028e621030fb5f9511c7a1 /.gitignore | |
parent | d84c8d925fb5b8390282eb94d3ab25b02d4081c8 (diff) |
- Added better support for existential quantification.
- No longer requiring type-parameters in JVM interop forms.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions