hirpdag (cargo): Library and procedural macros for Hash Consed, Immutable, Reference Counted, Persistent, Directed Acyclic Graph data structures.
Keywords: hashconsing|persistent|dag|rewriting