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.11.tar.gz sha512=1698536ac6ad4bab43de3f033bbfcc06cb8d7ac8b3198a440111ecc3d71da0fc9679e04ae276d9cd2a8d31965a582cced6dc063787e0f1c507241bed72ba6b9f |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/pa_ppx_hashcons/pa_ppx_hashcons.0.11/opam |
Required by
