You are viewing a single comment's thread. Return to all comments →
Hi, I still don't understand why application can be written in the statement of the function?
E.g. λx.(x y)
λx.(x y)
Shouldn't it be written as (λx.x)y?
(λx.x)y
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Reductions #1
You are viewing a single comment's thread. Return to all comments →
Hi, I still don't understand why application can be written in the statement of the function?
E.g.
λx.(x y)
Shouldn't it be written as
(λx.x)y
?