A Simplified E-graph Implementation

Here's my honest feedback: I stopped reading after the author started driving into implementation details without explaining what the purpose of an e-graph is. We got the what, but not the why.

lqqq · 5 years ago

I find the tutorial quite approachable

https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index...

Jtsummers · 5 years ago

This isn't the first time the author has written about E-graphs and they provide several links at the top which get to the meaning of them.

The 'e' stands for 'equivalence'.

https://www.philipzucker.com/egraph-1/

https://www.philipzucker.com/egraph-2/

philzook · 5 years ago

Yea, sorry. I appreciate the feedback. Exactly what Jtsummers said, this is not really a standalone post. I did a bit better motivating the egraph in the first post.