From 14584f62c1fdd265c2f0c01ff230091eed8e76cc Mon Sep 17 00:00:00 2001 From: the lemons Date: Fri, 18 Feb 2022 22:40:18 -0600 Subject: lambda type error --- readme.md | 2 ++ 1 file changed, 2 insertions(+) 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. -- cgit v1.2.3