diff options
| author | Amin Timany | 2017-04-05 14:49:13 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2017-06-16 04:45:20 +0200 |
| commit | bef2e53ae2286d0a7c61697f7a7a71bfdc0a3c99 (patch) | |
| tree | 22a1a98b2e8a7030542fef9345783a4def8a8f9c /kernel/reduction.ml | |
| parent | d83a4a93202c91095c5528fe4b54c83737e5a151 (diff) | |
Subtyping inference for inductoves and records
Also reinferred after sections discharge
Diffstat (limited to 'kernel/reduction.ml')
0 files changed, 0 insertions, 0 deletions