The e-graph data structure
cole-k.com