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.
Surely the lambda expression λx.λy.x^{47}y requires two arguments, i.e., an argument to bind to x and another one to bind to y, before it can yield any integer result?
Cookie support is required to access HackerRank
Seems like cookies are disabled on this browser, please enable them to open this website
Lambda Calculus - Evaluating Expressions #3
You are viewing a single comment's thread. Return to all comments →
Surely the lambda expression λx.λy.x^{47}y requires two arguments, i.e., an argument to bind to x and another one to bind to y, before it can yield any integer result?