How to compare two functions for equivalence, as in (λx.2*x) == (λx.x+x)? | Heykuki News