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