lambda-cálculo no tipado - QueGrande

RECURSIVIDAD
La función iseven devuelve true si se aplica a un número par y false en caso contrario:
Fix no funciona con nuestro sistema de tipos actual. Solución:
Ejercicio: definir equals, plus, times y factorial usando fix.
Equals:
equals_aux = λf : Nat → Nat → Bool.
λx : Nat. λy : Nat.
if iszero x then iszero y
else if iszero y then false
else f (pred x) (pred y);