diff options
| author | the lemons <citrons@mondecitronne.com> | 2023-04-28 14:16:59 -0500 |
|---|---|---|
| committer | the lemons <citrons@mondecitronne.com> | 2023-04-28 14:16:59 -0500 |
| commit | dc8b875b9dfdabb4d550dfdfe734cc99d39d7361 (patch) | |
| tree | 66e740cc1c368340298bc6e452b998b65b1a8bec | |
| parent | 2dee3e291a6bdfe7be46e82470194f015fa027d7 (diff) | |
az as defined in the word list
| -rw-r--r-- | readme.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -61,7 +61,7 @@ numerical literal nouns refer to the numbers themselves, such that, for instance ## assignment an assignment expression `Name::=A` redefines the name supplied (`Name`) such that its value is `A` the remainder of the document after its appearance or for other applicable documents. `:_A` is equivalent to `X::=A`. -the value of an assignment expression is `z` as defined in the word list. +the value of an assignment expression is `az` as defined in the word list. ## the meaning of a sentence a sentence consists of a single expression. each expression evaluates to a noun, and so to find the meaning of a sentence, the expression is evaluated. if the expression's meaning is X, then the meaning of the sentence is "there exists X". |