Egg: E-Graphs Good #1 Post by brzozowski » Thu, Dec 03, 2020, 1:21 PM UTC Egg: E-Graphs Goodegraphs-good.github.io