Search GODI:
FREE SOFTWARE ON CAMLCITY.ORG
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 |
