diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-02-13 09:11:43 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-02-13 09:11:43 +0100 |
| commit | d2fb531761e1f4fa02d0c7e7b5b51febe48e357e (patch) | |
| tree | 5316ac6af605bf46f2dc5bc9b85a1c959086d38f /checker/inductive.ml | |
| parent | a0468cce09c51e4d37153595bbc6a3c12d9086f0 (diff) | |
| parent | ebbc65955f1fa65965fd90a23b862fd629a23f73 (diff) | |
Merge PR #6738: CHANGES for universe variance
Diffstat (limited to 'checker/inductive.ml')
0 files changed, 0 insertions, 0 deletions