coq-of-ocaml

Compile a subset of OCaml to Coq