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