diff options
-rw-r--r-- | readme.md | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -68,6 +68,8 @@ a list is a special type of noun. they contain any amount of nouns in a specific lists can be interpreted semantically as meaning all of its elements in order. for example, the sentence `A,B,C` means that there exists `A`, then `B`, then `C`, which indicates that they happen in order. +a noun may semantically refer to a list or collection of things in reality. however, a noun is only a CR list if it is the result of an operation which is defined to produce a list. a list shall have a well-defined finite order, size, and elements independent of the semantics of the nouns in the document. + ## lambdas a lambda is a special type of noun representing a CR document. the `@` operator is used to apply lambdas to arguments. to evaluate a lambda, the noun `X` is assigned to the argument within the scope of the lambda. the document is then evaluated. the last sentence of a lambda does not have the meaning of a normal sentence. instead, its expression is evaluated, and the lambda application evaluates to this result. @@ -152,6 +154,9 @@ a list containing the list `y`'s values with the lambda `x` applied to them, in ### `@*` all results of the lambda `y` applied to each instance of `x` +### `,` +a list containing `x` followed by the elements of list `y` + ## unary operators the unary operators, when used, evaluate to their definitions below. |