8 lines
167 B
Plaintext
8 lines
167 B
Plaintext
(λx.λy.(x y) (y w))
|
|
λy.((y w) y)
|
|
(λy.(y w)) y
|
|
y w
|
|
|
|
But actually look more like a simple definition of a lambda without any arguments.
|
|
I'm not sure about this one.
|