How many β-redexes does the following λ expression contain?
expression
Enter your answer (a single integer, e.g., 3) below.
What is the definition of a β-redex?
If the expression is too long to parse in your head, build a parse tree for it.
The correct answer is correctAnswer. hint3