Refinement E-Graphs 0 ▲ Hey There Buddo! 2 hours ago · Tech · hide · 0 comments The idea of a refinement e-graph is to add a baked in a <= relation that is about as privileged as the e-graph’s native = No comments yet. Log in to reply on the Fediverse. Comments will appear here.
