alphaCaml
Turns a so-called "binding specification" into an OCaml compilation unit
Cαml (pronounced: "alphaCaml") is a tool that turns a so-called "binding specification" into an OCaml compilation unit. This helps writers of interpreters, compilers, or other programs-that-manipulate-programs deal with α-conversion in a safe and concise style.
Homepage | http://cristal.inria.fr/~fpottier/alphaCaml/ |
---|---|
Maintainer | contact@ocamlpro.com |
Events
Aug 21, 2012
Published version 20061214