diff options
| author | Brian Campbell | 2018-07-16 17:07:24 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-16 18:29:45 +0100 |
| commit | 786ff327752c7fd26550d96ed2ba328f0facdb4a (patch) | |
| tree | 423475c6fdc64285080c00c87cce4c6ed1e58a0d /language/bytecode.ott | |
| parent | a48dad8232a7db82c74a72157249a27ce25d326e (diff) | |
Coq: handle simple type variable matches properly and nat type
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions