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
19 Jan 2023
Authors
Maintainers
Sources
0.09.tar.gz
sha512=d215d7de789ff238d127f2798a13ee7d5020048bb241e42105f94c87760fbc5e1bcb48f2fabfef1fa427eee2e2595118ae18881a9934bd68fd10b5c3769ae7eb
Dependencies
Reverse Dependencies