In this post, we will solve Lambda Calculus – Reductions #3 HackerRank Solution. This problem (Lambda Calculus – Reductions #3) is a part of HackerRank Functional Programming series.
Reduce the following expression, using the beta-rule, to no more than one term. If the expression cannot be reduced, enter “CAN’T REDUCE”.
((λx.(x x))(λx.(x x)))
Your answer should look like:
(This is not the actual answer, just a demonstration of how you should present it.)
Solution – Lambda Calculus – Reductions #3 HackerRank Solution