diff options
author | the lemons <citrons@mondecitronne.com> | 2022-02-18 22:40:18 -0600 |
---|---|---|
committer | the lemons <citrons@mondecitronne.com> | 2022-02-18 22:40:18 -0600 |
commit | 14584f62c1fdd265c2f0c01ff230091eed8e76cc (patch) | |
tree | 17fe689b7975564481b126d596069a3fe5b62e37 | |
parent | 71d9e028f109e25ff39a58da8fc220f55b66f576 (diff) |
lambda type error
-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. |