lambda type error

1 files changed, 2 insertions, 0 deletions

diff --git a/readme.md b/readme.md
index ca1e43a..47033ea 100644
--- a/readme.md
+++ b/readme.md
@@ -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.