4 lines
36 B
Plaintext
4 lines
36 B
Plaintext
(λx.x) (λy.y y) f
|
|
(λy.y y) f
|
|
f f
|
(λx.x) (λy.y y) f
|
|
(λy.y y) f
|
|
f f
|