aboutsummaryrefslogtreecommitdiff
path: root/docs/spec/primitive.html
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-06-06 22:04:00 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-06-06 22:04:00 -0400
commit07be54d8179ba799cc55dacd2c79fb2292477030 (patch)
tree15e67618d7340af2242ba31ce2e3c9a16bfe5155 /docs/spec/primitive.html
parent8342ba5e9392811dbc0514a97e847a44a5b330a2 (diff)
Consistently avoid "derived function" for trains: use "compound function" instead
Diffstat (limited to 'docs/spec/primitive.html')
-rw-r--r--docs/spec/primitive.html2
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>