What is Cαml?

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.