Tag
Lambda MicroEgg is a tool implementing an e-graph with support for well-scoped alpha-aware binders and higher-order Miller patterns for program synthesis and rewriting.