pa_ppx_hashconsversion Documentation on ocaml.org
A PPX Rewriter for Hashconsing
This is a PPX Rewriter for generating hashconsing implementations of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre and Sylvain Conchon.
| Author | Chet Murthy |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | https://github.com/camlp5/pa_ppx_hashcons |
| Issue Tracker | https://github.com/camlp5/pa_ppx_hashcons/issues |
| Documentation | https://github.com/camlp5/pa_ppx_hashcons/doc |
| Maintainer | Chet Murthy <chetsky@gmail.com> |
| Dependencies |
|
| Source [http] | https://github.com/camlp5/pa_ppx_hashcons/archive/refs/tags/8.05.01.tar.gz sha512=05a9dc1350d7a5d47b717797c1cdc3bb7981dc45cf16b474626a3b8e10bd248d87fce9db347a07683eaf3b2f313800be87f267f1336ce69144c71289c65b7e58 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pa_ppx_hashcons/pa_ppx_hashcons.8.05.01/opam |
Required by
