diff --git a/src/game/problems/index.js b/src/game/problems/index.js index 6e995ea..3366a90 100644 --- a/src/game/problems/index.js +++ b/src/game/problems/index.js @@ -189,7 +189,7 @@ export default [ title: 'Tightly Binding Lambdas', prompt: (
-

Lambda abstractions have higher prescedence than applications.

+

Lambda abstractions have higher precedence than applications.

This means that if we write the expression λx.yz, it would be parenthesized as λx.(yz) and NOT (λx.y)z.

As a rule of thumb, the body of a lambda abstraction (i.e. the part of the lambda expression after the dot) extends all the way to the end of the expression unless parentheses tell it not to.

Explicitly write the parentheses around λw.xyz, combining this new knowledge with what you learned in the last question around how applications are parenthesized.