diff options
| author | Maxime Dénès | 2018-10-30 09:33:01 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-11-06 14:19:38 +0100 |
| commit | bcdab3b90ad2e651a41b8a8092e161f42b0ca912 (patch) | |
| tree | 2c4d73f6f3052082c0408d3320e185c16b676457 /.gitignore | |
| parent | 732476594f19be0125a553b1c6135d57995c63c2 (diff) | |
[checker] Check univ constraints induced by module subtyping
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions