diff options
| author | Brian Campbell | 2018-09-12 13:19:16 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-09-12 13:19:16 +0100 |
| commit | 230621c33a8ce2ef8058d22fda0cd998f621dc65 (patch) | |
| tree | 75e04804e7cd766bd0b9a6feccd965a6d414b0ac /src/lem_interp/extract.mllib | |
| parent | d812dd49e482f57a22f1054ff69d300b8e6e45c3 (diff) | |
Coq: print more type information for existentially typed vectors
Diffstat (limited to 'src/lem_interp/extract.mllib')
0 files changed, 0 insertions, 0 deletions