2 ms·

This 5-minute POPL video seems like a good introduction to the "why" of e-graphs. https://www.youtube.com/watch?v=ap29SzDAzP0 https://www.youtube.com/watch?v=a

by Twisol 6y ago

This 5-minute POPL video seems like a good introduction to the "why" of e-graphs. https://www.youtube.com/watch?v=ap29SzDAzP0 https://www.youtube.com/watch?v=ap29SzDAzP0 Seems to be useful in term-rewriting applications.