26. Given that we've agreed to Church's encoding of the numbers:
- BLAH
+ <code>0 ≡ \f z. z
+ <code>1 ≡ \f z. f z
+ <code>2 ≡ \f z. f (f z)
+ <code>3 ≡ \f z. f (f (f z))
+ <code>...</code>
How would you express the `succ` function in the Lambda Calculus?
-