diff options
| author | Pierre Letouzey | 2017-05-22 13:44:49 +0200 |
|---|---|---|
| committer | Pierre Letouzey | 2017-05-22 15:15:49 +0200 |
| commit | 7ffb02d2c5534a6c39ee1e5fd42060d559195e39 (patch) | |
| tree | 9b229ed641de2bbcc69764314a9a3e287e1bb350 /kernel/type_errors.ml | |
| parent | a79481b86881be12900b9b16b2f384eb3c402215 (diff) | |
refl_omega: comment the lack of lifts when dealing with arrows
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions