News for hackers. Stuff that matters.

A comment on A Simplified E-graph Implementation.

Re:A Simplified E-graph Implementation by Twisol on Saturday April 03, 2021 @07:38PM (#26685710)
This 5-minute POPL video seems like a good introduction to the "why" of e-graphs.

https://www.youtube.com/watch?v=ap29SzDAzP0

Seems to be useful in term-rewriting applications.

[ Parent | on HN ]

There are no comments on this comment yet.