rewriting

Lambda MicroEggphilipzucker.com

lambda-microegg is a Rust e‑graph library that adds scoped, alpha‑aware binders and Miller‑style higher‑order patterns to the Egg framework, enabling capture‑avoiding substitution and higher‑order rewriting with modest performance overhead.