5 lines
62 B
Plaintext
5 lines
62 B
Plaintext
(λx.λy.x y y) (λz.z) a
|
|
(λy.(λz.z) y y) a
|
|
(λz.z) a a
|
|
a a
|
(λx.λy.x y y) (λz.z) a
|
|
(λy.(λz.z) y y) a
|
|
(λz.z) a a
|
|
a a
|