How to compare two functions for equivalence, as in (λx.2*x) == (λx.x+x)?stackoverflow.com176 pointstosh9 years ago