Docs GODI Archive
Projects Blog Link DB

Look up function:

(e.g. "List.find" or "keysym")
More options

FREE SOFTWARE ON CAMLCITY.ORG

GODI Package godi-alphacaml

A tool that helps deal with alpha-conversion issues.

AlphaCaml is a tool that turns a so-called `binding specification' into an Objective Caml compilation unit. This helps writers of interpreters, compilers, or other programs-that-manipulate-programs deal with alpha- conversion in a safe and concise style.

Version: 20061214
Homepage: http://cristal.inria.fr/~fpottier/alphaCaml/
Maintainer: François Pottier <Francois.Pottier@inria.fr>
Files: bin/alphaCaml
doc/alphaCaml/alphaCaml.pdf
doc/godi-alphacaml/alphaCaml.pdf
lib/ocaml/pkg-lib/alphaLib/META
lib/ocaml/pkg-lib/alphaLib/alphaLib.cmi
lib/ocaml/pkg-lib/alphaLib/alphaLib.cmi_pretty
lib/ocaml/pkg-lib/alphaLib/alphaLib.cmo
lib/ocaml/pkg-lib/alphaLib/alphaLib.cmx
lib/ocaml/pkg-lib/alphaLib/alphaLib.o
lib/ocaml/pkg-lib/alphaLib/signatures.ml
Built from sources: alphaCaml-20061214
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml