Lambda MicroEgg 0 ▲ Hey There Buddo! 1 hour ago · Science · hide · 0 comments It’s an egraph that supports well-scoped alpha aware binders. No comments yet. Log in to reply on the Fediverse. Comments will appear here.
