diff options
author | the lemons <citrons@mondecitronne.com> | 2022-02-18 23:23:00 -0600 |
---|---|---|
committer | the lemons <citrons@mondecitronne.com> | 2022-02-18 23:23:00 -0600 |
commit | 9ba23b1dfae182bb81c715b09ba358a7af6ebe4d (patch) | |
tree | cf20b2e2c79130ef0645e403f46000e4ee9079b5 | |
parent | e78ec0a9b0d91bea922e4b301d52b2f68002f268 (diff) |
@* operator
-rw-r--r-- | readme.md | 11 |
1 files changed, 7 insertions, 4 deletions
@@ -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` |