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.
Agreed, it doesn't make sense to waste an interesting challenge and make it trivial! The original question doesn't even need thinking as you mentioned! The outer Abstraction is not Applied to anything, so how can one reduce it to a single term?
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 #4
You are viewing a single comment's thread. Return to all comments →
Agreed, it doesn't make sense to waste an interesting challenge and make it trivial! The original question doesn't even need thinking as you mentioned! The outer Abstraction is not Applied to anything, so how can one reduce it to a single term?