Philip Zucker releases Lambda MicroEgg, an e-graph-based term rewriting tool that adds alpha-aware binders, Miller patterns, and capture-avoiding substitution to a frontend for s-expressions. Built on top of Max's microegg, it demonstrates rewrite capabilities like constant factoring over summation and AC-saturation runs.
Background
E-graphs are a data structure for equality saturation, popularized by Chris Urban's egg library. Lambda MicroEgg extends this approach to handle bound variables and higher-order patterns, enabling more expressive rewrite rules for symbolic manipulation.
- Source
- Lobsters
- Published
- Sep 21, 2026 at 12:04 AM
- Score
- 5.0 / 10