diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-06 22:04:00 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-06-06 22:04:00 -0400 |
| commit | 07be54d8179ba799cc55dacd2c79fb2292477030 (patch) | |
| tree | 15e67618d7340af2242ba31ce2e3c9a16bfe5155 /spec/primitive.md | |
| parent | 8342ba5e9392811dbc0514a97e847a44a5b330a2 (diff) | |
Consistently avoid "derived function" for trains: use "compound function" instead
Diffstat (limited to 'spec/primitive.md')
| -rw-r--r-- | spec/primitive.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/primitive.md b/spec/primitive.md index ef3055c4..6efa6853 100644 --- a/spec/primitive.md +++ b/spec/primitive.md @@ -42,7 +42,7 @@ The dyadic function `=`, representing equality comparison, can be applied to any Operations are split into subtypes depending on how they were created. - Primitives are equal if they have the same token spelling. -- Derived operations are equal if they are derived by the same rule and each corresponding component is the same. +- Compound functions are equal if they are produced by the same rule and each corresponding component is the same. - Block instances are equal if they are the same instance. This means that block instance equality indicates identity in the context of mutability: two block instances are equal if any change of state in one would be reflected in the other as well. The concept of identity holds even if the blocks in question have no way of changing or accessing state. For example, `=○{𝕩⋄{𝕩}}˜@` is `0` while `=˜○{𝕩⋄{𝕩}}@` is `1`. |