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 /docs/spec/primitive.html | |
| parent | 8342ba5e9392811dbc0514a97e847a44a5b330a2 (diff) | |
Consistently avoid "derived function" for trains: use "compound function" instead
Diffstat (limited to 'docs/spec/primitive.html')
| -rw-r--r-- | docs/spec/primitive.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/spec/primitive.html b/docs/spec/primitive.html index 1f9990a2..b68073b0 100644 --- a/docs/spec/primitive.html +++ b/docs/spec/primitive.html @@ -37,7 +37,7 @@ <p>Operations are split into subtypes depending on how they were created.</p> <ul> <li>Primitives are equal if they have the same token spelling.</li> -<li>Derived operations are equal if they are derived by the same rule and each corresponding component is the same.</li> +<li>Compound functions are equal if they are produced by the same rule and each corresponding component is the same.</li> <li>Block instances are equal if they are the same instance.</li> </ul> <p>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, <code><span class='Function'>=</span><span class='Modifier2'>○</span><span class='Brace'>{</span><span class='Value'>𝕩</span><span class='Separator'>⋄</span><span class='Brace'>{</span><span class='Value'>𝕩</span><span class='Brace'>}}</span><span class='Modifier'>˜</span><span class='String'>@</span></code> is <code><span class='Number'>0</span></code> while <code><span class='Function'>=</span><span class='Modifier'>˜</span><span class='Modifier2'>○</span><span class='Brace'>{</span><span class='Value'>𝕩</span><span class='Separator'>⋄</span><span class='Brace'>{</span><span class='Value'>𝕩</span><span class='Brace'>}}</span><span class='String'>@</span></code> is <code><span class='Number'>1</span></code>.</p> |
