We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.
λx.(x y) is a function that applies y to its first argument [maybe clearer this way: (λx.x y) ]
(λx.x)y is just y applied to the identity function, reduces to y
Cookie support is required to access HackerRank
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 →
λx.(x y) is a function that applies y to its first argument [maybe clearer this way: (λx.x y) ]
(λx.x)y is just y applied to the identity function, reduces to y