diff options
| author | Hugo Herbelin | 2015-10-06 19:45:38 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:05 +0100 |
| commit | ba00ffda884142fdd1b4d8b0888d3c9a35457c99 (patch) | |
| tree | 2070653bfb96217183aa0e7a07b1c064b4c58c63 /plugins/extraction/ExtrHaskellNatInt.v | |
| parent | 779c314c28abbff3d9fc1fca9a2c75dc7e103a1c (diff) | |
RefMan, ch. 4: a few clarifications, thanks to Matej.
There is still something buggy in explaining the interpretation of "match"
as "case": we need typing to reconstruct the types of the x and y1..yn
from the "as x in I ... y1..yn" clause.
Diffstat (limited to 'plugins/extraction/ExtrHaskellNatInt.v')
0 files changed, 0 insertions, 0 deletions