diff options
| author | Gaëtan Gilbert | 2020-07-23 15:11:48 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-08-18 13:41:14 +0200 |
| commit | 97b8b7930136f2e47c1c11cbcdbe41f74add2087 (patch) | |
| tree | c0cb6cdf24e8d6c6109a6c981a2549f0ad1ee17f /kernel/nativelambda.ml | |
| parent | aa926429727f1f6b5ef07c8912f2618d53f6d155 (diff) | |
Fix subject reduction VS cumulative inductives and function eta
Fix #7015
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions