maximedenes/native-coq — Issue #5: Unicode identifiers
Author: maximedenes
Created: 2011-12-14 13:12:52+00:00
State: open

Coq supports a larger subset of Unicode inidentifiers than OCaml, so we're sometimes producing incorrect OCaml code. Extraction would probably provide us the appropriate machinery.