diff options
| author | Théo Zimmermann | 2019-10-30 17:06:26 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-10-30 17:19:43 +0100 |
| commit | 201f31d3cdb1cd30646a622ec4b46d7cbcb24e20 (patch) | |
| tree | 970780495e121975d767e2fad4166d698883de82 /kernel/nativelambda.ml | |
| parent | d7bacbba67e9242faa24bc6ff34dede1dbe30ed3 (diff) | |
[refman] Add a second example of contradiction when positivity checking is disabled.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions