rust/sample/test_nat.txt


1
2
3
4
5
6
7
8
9

(def pair (lam (a b f) (f a b)))
(def fst (lam p (p (lam (a b) a))))
(def snd (lam p (p (lam (a b) b))))

(def zero (lam (f s) s))
(def succ (lam (n f s) (f (n f s))))

(def is-zero (lam n
   (n (lam x False) true)))