diff options
| author | Eduardo Julian | 2018-01-04 23:59:40 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2018-01-04 23:59:40 -0400 |
| commit | 303c462daf461c20f41edba3d0921062c8535fda (patch) | |
| tree | eb7d4edb5dfbd5af8789a128a4e3deb7eec985b6 /license.txt | |
| parent | 5c18722100637a61a6e52b4471a2068f37a3dcff (diff) | |
- Fixed inference involving existentials.
Diffstat (limited to 'license.txt')
0 files changed, 0 insertions, 0 deletions