rust/sample/test03/input


1
2
3
4
5
6
7
8
9
10
11
12

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

(def one (succ zero))
(def two (succ one))
(def three (succ two))
(def four (succ three))
(def five (succ four))

(def plus (lam (a b) (a succ b)))

(plus one three)