You are viewing a single comment's thread. Return to all comments →
It does reduce. It has a nested occurrence of Curry's combinator. Here is the result:
(λg.((λf.(f ((λx.(f (x x)))(λx.(f (x x)))) ((λx.(f (x x)))(λx.(f (x x))))) g)))
The reductions#3 exercise was also bugged. Please have someone with a lambda calculus background revise all the lambda calculus exercises
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Reductions #4
You are viewing a single comment's thread. Return to all comments →
It does reduce. It has a nested occurrence of Curry's combinator. Here is the result:
(λg.((λf.(f ((λx.(f (x x)))(λx.(f (x x)))) ((λx.(f (x x)))(λx.(f (x x))))) g)))
The reductions#3 exercise was also bugged. Please have someone with a lambda calculus background revise all the lambda calculus exercises