Lambda Calculus - Reductions #4

Problem Name:
Lambda Calculus - Reductions #4
Site:HackerRank
Links:
Tags:
Problem setters: