diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-10-17 15:55:53 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-10-17 16:03:06 +0200 |
| commit | 502d901fee12f07c31c2ea8b8c1455f74876d986 (patch) | |
| tree | 7e1370e89bf72bdc9d0b5762bcddc45ffb93ad20 /theories/Compat | |
| parent | 8adcc8d26a200a5e52cf0413b6672aa63f9d6ea2 (diff) | |
Example illustrating non-local inference of the default type of impossible branches (see PR #323).
Diffstat (limited to 'theories/Compat')
0 files changed, 0 insertions, 0 deletions