Lambda MicroEgg
What happened
It’s an egraph that supports well-scoped alpha aware binders.
Summary assembled by rule from the sources below
Why it's spreading
Sources
Community
- Lambda MicroEggLobsters
It’s an egraph that supports well-scoped alpha aware binders.
Summary assembled by rule from the sources below