title: Lambda calculus isEven function in Haskell
body: <p>So I'm learning about lambda calculus in Haskell, and I'm trying to implement an isEven function that returns true if it's even and false otherwise. I know that 0 is even and then 1 is odd and then each alternating number is the alternative of the one before i.e. if one is odd then 2 is even then 3 is odd. Could I have the isEven function check if the input is 0 and if it's not then somehow check if it's successor is even or odd?</p>