8 lines
105 B
Plaintext
8 lines
105 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 0)))))
|
|
|
|
(exp N N)
|