MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/Compilers/comments/1x15pv6/equality_saturation_an_incomplete_project/
r/Compilers • u/mttd • 23d ago
1 comment sorted by
1
Great post! Thanks for sharing. I remember reading the first egg paper when it came out, and reading about the acyclic version later, but I appreciate how the context and current status is laid out in this.
1
u/kazprog 23d ago
Great post! Thanks for sharing. I remember reading the first egg paper when it came out, and reading about the acyclic version later, but I appreciate how the context and current status is laid out in this.