new1일 전· 1 sources
Lambda MicroEgg
Why it matters
Lambda MicroEgg It’s an egraph that supports well-scoped alpha aware binders. Everything old is new again. I made a tool that attaches my lifting e-graph ideas arxiv youtube to an s-expression based f...
1
Sources
+1
24h
—
Growth
1d
Active