coq-of-ocaml

Compile a subset of OCaml to Coq
IN THIS PACKAGE
Empty package map