From 9ba23b1dfae182bb81c715b09ba358a7af6ebe4d Mon Sep 17 00:00:00 2001 From: the lemons Date: Fri, 18 Feb 2022 23:23:00 -0600 Subject: @* operator --- readme.md | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/readme.md b/readme.md index 6e6930b..0268b46 100644 --- a/readme.md +++ b/readme.md @@ -75,7 +75,7 @@ lambdas are lexically scoped. scope affects the behavior of the `::=` operator. this example illustrates the scoping behavior of lambdas: ``` -L::={Y::=X{Y}}((L@A)@B)=A +L::={Y::=X{Y}}A=A@B@L ``` the inner lambda `{Y}` is able to access a definition from its outer lambda after it is applied to the argument `B`. @@ -138,10 +138,13 @@ a hypothetical `y` which exists according to/in the perspective of `*_x` `y` composed of `x` ### `@` -the result of the application of the lambda `x` to the argument `y`. see § lambdas. +the result of the application of the lambda `y` to the argument `x`. see § lambdas. ### `@,` -a list containing the list `x`'s values with the lambda `y` applied to them, in order. +a list containing the list `y`'s values with the lambda `x` applied to them, in order. + +### `@*` +all results of the lambda `y` applied to all instances of `x` ## unary operators the unary operators, when used, evaluate to their definitions below. @@ -152,7 +155,7 @@ the operand to the unary operator is denoted as `x` in these defintions. `*_x` i some specific instance(s) of `x` ### `*:` -all instances of `x`; *or, if* `x` *is a lambda:* everything in existence for which the lambda `x` applied to it evaluates to something which exists. +all instances of `x` ### `&_` `y` where `x` is an instance of `y`; *such that* `&_*_x` *is equivalent to* `x` -- cgit v1.2.3