Lambda MicroEgg
Summary
A deep dive into Lambda MicroEgg, a tool for e-graphs and higher-order pattern matching built on an s-expression frontend. It covers built-in binders, Miller patterns, alpha-equivalence memory sharing, and performance notes from various experiments, plus design decisions and future directions (liftings, thinnings, beta substitution).