8 lines
111 B
Plaintext
8 lines
111 B
Plaintext
0 := \f.\x.x
|
|
inc n := \f x.(f (n f x))
|
|
exp n m := (m n)
|
|
|
|
N := (inc (inc (inc (inc (inc (inc 0))))))
|
|
|
|
(exp N N)
|