Some error occured while loading page for you. Please try again.
Sort 2 Discussions, By:
Please Login in order to post a comment
Is this solution here ?
(lx.(x x)) (lx.(x x))
=> (lx.(x x))(ly.(y y)) (since right one is independent)
=> (ly.(y y)) (ly.(y y)) (Infinite loop)
aka the divergent combinator aka omega.
My mistake was thinking that the " "'s were necc when they needed to be stripped.
This term reduces to itself. Hence it does reduce. Please fix it. Thank you.
No more comments