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/0.08.tar.gz
sha512=2f6306a7794bcad347aed6915c44349681463102426e3f741564ec439eee6eb6b12d7f65219d63d35a578a7fb374f6298f98a7730b7e290a6af11cc9b111b320
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pa_ppx_hashcons/pa_ppx_hashcons.0.08/opam