pa_ppx_hashconsversion
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 |
Maintainer | Chet Murthy <chetsky@gmail.com> |
Dependencies |
|
Source [http] | https://github.com/camlp5/pa_ppx_hashcons/archive/refs/tags/0.10.tar.gz sha512=a634d9a569923d5dcfd1a5f6195090d4a084e49d50be4774aa9ff3b2cf82afae8d631e019bb6776a54581b3af8bd49ac976adeb7ea681a0b40a781997e517f11 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pa_ppx_hashcons/pa_ppx_hashcons.0.10/opam |
Required by