diff options
| -rw-r--r-- | readme.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -80,6 +80,8 @@ L::={Y::=X{Y}}((L@A)@B)=A the inner lambda `{Y}` is able to access a definition from its outer lambda after it is applied to the argument `B`. +if a nonlambda is supplied as an operand whose operator assumes it to be a lambda, this is an error. + ## binary operators the binary operators, when used, evaluate to their definitions below. |