diff options
| author | Brian Campbell | 2018-08-17 15:10:32 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-08-17 15:10:32 +0100 |
| commit | c3595cbfc8f4f04cb13c693054ba62487bcd0e24 (patch) | |
| tree | 0353fb3c3b3ddc7f1fde4c351e99a08c89653572 /language/bytecode.ott | |
| parent | 38336f5cb1f10b375b9c3cc098f68bf83cdcf0eb (diff) | |
Coq: also introduce autocast at type annotations
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions