Signed-off-by: Klagarge <remi@heredero.ch>
@ -0,0 +1,4 @@
(λx.λy.x y y) (λz.z) a
(λy.(λz.z) y y) a
(λz.z) a a
a a
@ -0,0 +1,3 @@
(λx.x) (λy.y y) f
(λy.y y) f
f f
@ -0,0 +1,7 @@
(λ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.
(λx.(x x) λx.(x x))
λx.(x x) λx.(x x)
... [Infinite loop reduction]
The note is not visible to the blocked user.