diff options
| author | Yong He <yonghe@outlook.com> | 2020-08-14 10:04:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-14 10:04:32 -0700 |
| commit | b37a7770d9781515f70047665d12680a5838406d (patch) | |
| tree | 19b322499f920c23a868bd0db2e54a628d76a41d /docs | |
| parent | 99366e7c37e8b537b4eac8f3104db7296ceba586 (diff) | |
Lower existential types. (#1497)
Co-authored-by: Tim Foley <tfoleyNV@users.noreply.github.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions