Would also be interesting to add a latex view for expressions to see them that way. Could also then see the e-graph as a set of expressions
Would also be interesting to add a latex view for expressions to see them that way.
Could also then see the e-graph as a set of expressions