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.07.02.tar.gz
sha512=c742da1be4406918289eabeb08100e89a150602a4ec24e8736e6167e064839d18754db5f424817b0227671b9805f235182add2090f8cd4cb9b03594f559c8123
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/pa_ppx_hashcons/pa_ppx_hashcons.0.07.02/opam