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/inferred.html | |
| parent | 8342ba5e9392811dbc0514a97e847a44a5b330a2 (diff) | |
Consistently avoid "derived function" for trains: use "compound function" instead
Diffstat (limited to 'docs/spec/inferred.html')
| -rw-r--r-- | docs/spec/inferred.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/spec/inferred.html b/docs/spec/inferred.html index 11c27867..47cb341e 100644 --- a/docs/spec/inferred.html +++ b/docs/spec/inferred.html @@ -364,7 +364,7 @@ </tr> </tbody> </table> -<p>Inverses of other modifiers and derived functions or modifiers obtained from them are given below. Here the "inverse" of a modifier is another modifier that, if applied to the same operands as the original operator, gives its inverse function. A constant is either a data value or <code><span class='Function'>𝔽</span><span class='Modifier'>˙</span></code> for an arbitrary value <code><span class='Function'>𝔽</span></code>.</p> +<p>Inverses of other modifiers and compound functions are given below. Here the "inverse" of a modifier is another modifier that, if applied to the same operands as the original operator, gives its inverse function. A constant is either a data value or <code><span class='Function'>𝔽</span><span class='Modifier'>˙</span></code> for an arbitrary value <code><span class='Function'>𝔽</span></code>.</p> <table> <thead> <tr> |
