diff options
| author | Gaëtan Gilbert | 2020-09-01 12:20:37 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-11-16 11:21:16 +0100 |
| commit | e511ef1aff7d2103ad6189f3fa79c456c2a42392 (patch) | |
| tree | 5f4133fc0bf6e18f27e7a87c9b8d972b3fead21b /kernel/type_errors.ml | |
| parent | ed6bee77f09200797a482c648b17ef5fa768aeac (diff) | |
Changelog for variance syntax
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions