Write down the β-normal form of the following λ expression:
expression
Write down your answer below using the caret character (^) instead of the λ character.
Make sure to review Church's representation for non-negative integers and the addition and multiplication operators.
To solve this problem, there is no need to perform a single β-reduction. Instead, you should recognize the arithmetic operation that the expression encodes, compute its value in your head, and finally convert it to a Church numeral.
hint3