#egraphs — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #egraphs, aggregated by home.social.
-
[New Blog Post] Lifting and Lowering Functions with The Dump Calculus https://www.philipzucker.com/dump_calculus/ #python #functionalprogramming #logic #egraphs