Lambda MicroEgg

发生了什么

It’s an egraph that supports well-scoped alpha aware binders.

摘要按规则整理自下方来源原文

来源