S stackoverflow.com How to compare two functions for equivalence, as in (λx.2*x) == (λx.x+x)? 176 points tosh 9 years ago 63 comments
