pa_ppx_hashcons

A PPX Rewriter for Hashconsing
Description

This is a PPX Rewriter for generating hashconsing implementations of ASTs, mechanizing the ideas and code of Jean-Christophe Filliatre and Sylvain Conchon.

Install
Published
08 Aug 2021
Sources
0.08.tar.gz
sha512=2f6306a7794bcad347aed6915c44349681463102426e3f741564ec439eee6eb6b12d7f65219d63d35a578a7fb374f6298f98a7730b7e290a6af11cc9b111b320
Dependencies
Reverse Dependencies