¶E-graphs

What's in an e-graph? [Max Bernstein]

Acyclic e-graphs and smart constructors [Philip Zucker]

» Theory

This page is also available via Gemini at gemini://dcreager.net/theory/e-graphs/