Instructions:

Directions: Enter the lambda-calculus expression that results from one Applicative-Order β-Reduction. Continue this until no more reductions can be done. Be mindful of proper spacing and parenthesizing. (Use ^ to express λ)