Lambda MicroEgg It’s an egraph that supports well-scoped alpha aware binders. 53 points by philzook 32 days ago www.philipzucker.com 5 comments Summary not yet generated for this article. Comments (5 of ) ⌛ Loading more comments... ⌛ Scroll down to load more comments No comments available.
Comments (5 of ) ⌛