Cool Link
The acyclic e-graph: Cranelift's mid-end optimizer cfallin.org

cfallin.org/blog/2026/04/09/aegraph/