egg 0.0.3

An implementation of egraphs
Documentation

EGraphs (and almost everything else in this crate) are parameterized over the language given by the user (by implementing the Language trait).

A typical usage would either implement Language or use the provided TestLang. From there, you can use the functionality from the ParsableLanguage trait module to create expressions and add them to the EGraph.