diff options
| author | Xavier Leroy | 2019-06-24 17:08:11 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-01-08 15:07:15 +0100 |
| commit | bfb28c7720d9101e2caedff0c1f1f2cdbf0bad65 (patch) | |
| tree | efe2b91a00c554e79c17cbaddf2f36b8c0ad24ed /plugins/extraction/ExtrHaskellZInt.v | |
| parent | 3cdbd61f3acf0722c92f8192425eb1a677270b08 (diff) | |
Support extraction of Coq's string type to OCaml's string type
Instead of the default extraction to OCaml's "char list" type.
Diffstat (limited to 'plugins/extraction/ExtrHaskellZInt.v')
0 files changed, 0 insertions, 0 deletions