egg 0.8.1

An implementation of egraphs
Documentation