aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorthe lemons <citrons@mondecitronne.com>2022-02-18 03:14:47 -0600
committerthe lemons <citrons@mondecitronne.com>2022-02-18 03:14:47 -0600
commit70450db2f5b58d108f50a2b38f5617223d57b2c6 (patch)
treecf9c3bce39bbd8c120018c79d21be48ac98ab664
parentba9e957ab4fac79f3f9e900fb13f5b18639cd16a (diff)
lists
-rw-r--r--readme.md9
1 files changed, 7 insertions, 2 deletions
diff --git a/readme.md b/readme.md
index 3dc53ed..a31eca1 100644
--- a/readme.md
+++ b/readme.md
@@ -57,6 +57,11 @@ CR makes no distinction between statements such as "the/a person who is thinking
g>:f
```
+## lists
+a list is a special type of noun. they contain any amount of nouns in a specific order, including lists themselves. certain operators expect lists as operands. if a nonlist is passed to these operators, then the operand is treated as a list containing that noun. lists can be composed with the `,` operator. it is similar to a "cons" operation. it appends the first operand to the second operand, which is assumed to be a list.
+
+lists exist unconditionally. there is only one instance of a given list. lists are not the same thing as anything else and they cannot cause anything to happen.
+
## operator side-effects
some operators have **side-effects** which means that
@@ -124,7 +129,7 @@ all instances of `x`
nothing that is `x` or `*_x`
### `!!:`
-`x`; *this operator has the* **side-effect** *of emphasizing* `x` *in the sentence*
+`x`; *this operator has the* **side-effect** *of emphasizing* `x` *in the sentence*.
### `?:`
a hypothetical/possible `x`
@@ -133,7 +138,7 @@ a hypothetical/possible `x`
the truth value of the statetment "there exists `x`"
### `#`
-the amount of `x` which exist
+the amount of `x` which exist; *or, if* `x` *is a list*: the amount of items in list `x`
## clarification: the meaning of `*_x`
the difference between `*_x` and `x` can be thought of like this: if `x` is "dog"/"dogs", then `*_x` is "some dogs" or "a dog". the difference becomes quite relevant when one performs definitions.