E.Diff

Attempt to find pretty printable differences between terms.

Documentation

diff :: E -> E -> (E, E)

take two expressions and return (hopefully smaller) expressions with their differences

findOddFreeVars :: [TVr] -> E -> E

printEStats :: E -> IO ()