lambda-calcul/haskell/bool.lisp


1
2
3
4
5
6
7
8
9
10

(let ((False (lam (f t) f))
      (True (lam (f t) t))
      (If (lam (b x y) (b x y)))
      (Zero (lam (z s) z))
      (Succ (lam (n z s) (s n)))
      (One (Succ Zero))
      (Two (Succ One))
      (Three (Succ Two))
      (IsZero (lam (n) (n True (lam (m) False)))))
  (IsZero Two))