diff options
| author | Théo Zimmermann | 2019-10-30 16:01:02 +0100 |
|---|---|---|
| committer | Théo Zimmermann | 2019-10-30 16:01:02 +0100 |
| commit | d7bacbba67e9242faa24bc6ff34dede1dbe30ed3 (patch) | |
| tree | 7c1f26f54291047452fbcce3586ed94d4ed9714d /kernel/nativelambda.ml | |
| parent | dbcdc4e53758339d2a7eb96d19fbcffeb143154d (diff) | |
[refman] Give an example of contradiction when positivity checking is disabled.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions