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.

AuthorChet Murthy
LicenseBSD-3-Clause
Published
Homepagehttps://github.com/camlp5/pa_ppx_hashcons
Issue Trackerhttps://github.com/camlp5/pa_ppx_hashcons/issues
MaintainerChet Murthy <chetsky@gmail.com>
Dependencies
Source [http] https://github.com/camlp5/pa_ppx_hashcons/archive/refs/tags/0.10.tar.gz
sha512=a634d9a569923d5dcfd1a5f6195090d4a084e49d50be4774aa9ff3b2cf82afae8d631e019bb6776a54581b3af8bd49ac976adeb7ea681a0b40a781997e517f11
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pa_ppx_hashcons/pa_ppx_hashcons.0.10/opam