¶What's in an e-graph?
2024-09-12
A great intro post by Max Bernstein. Simple implementation in Python.
This page is also available via Gemini at gemini://dcreager.net/theory/e-graphs/whats-in-an-egraph.gmi
2024-09-12
A great intro post by Max Bernstein. Simple implementation in Python.
This page is also available via Gemini at gemini://dcreager.net/theory/e-graphs/whats-in-an-egraph.gmi