diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-02-03 13:43:13 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-02-03 15:24:53 -0500 |
| commit | b2374aef747b4988417f896fdf33852dd57b9b07 (patch) | |
| tree | e04294eeefecca837026b82c2e8e96ff564d011e /docs/doc/train.html | |
| parent | ad582b5ef4184e26be86ef61be60c28e90b0bb7d (diff) | |
Rename Unique Mask to Mark Firsts
Diffstat (limited to 'docs/doc/train.html')
| -rw-r--r-- | docs/doc/train.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/doc/train.html b/docs/doc/train.html index 4ae23b13..23348229 100644 --- a/docs/doc/train.html +++ b/docs/doc/train.html @@ -41,7 +41,7 @@ </pre> <p>In a train, arguments alternate strictly with combining functions between them. Arguments can be either functions or subjects, except for the rightmost one, which has to be a function to indicate that the expression is a train. Trains tend to be shorter than subject expressions partly because to keep track of this alternation in a train of all functions, you need to know where each function is relative to the end of the train (subjects like the <code><span class='Number'>¯1</span></code> above only occur as left arguments, so they can also serve as anchors).</p> <h2 id="practice-training">Practice training</h2> -<p>The train <code><span class='Function'>⊢></span><span class='Number'>¯1</span><span class='Function'>»⌈</span><span class='Modifier'>`</span></code> is actually a nice trick for getting the unique mask <code><span class='Function'>∊</span><span class='Value'>𝕩</span></code> from the self-classify <code><span class='Function'>⊐</span><span class='Value'>𝕩</span></code> without doing another search. Let's take a closer look, first by applying it mechanically. To do this, we apply each "argument" to the train's argument, and then combine them with the combining functions.</p> +<p>The train <code><span class='Function'>⊢></span><span class='Number'>¯1</span><span class='Function'>»⌈</span><span class='Modifier'>`</span></code> is actually a nice trick for marking first occurrences <code><span class='Function'>∊</span><span class='Value'>𝕩</span></code> given the self-classify <code><span class='Function'>⊐</span><span class='Value'>𝕩</span></code> without doing another search. Let's take a closer look, first by applying it mechanically. To do this, we apply each "argument" to the train's argument, and then combine them with the combining functions.</p> <pre><span class='Paren'>(</span><span class='Function'>⊢</span> <span class='Function'>></span> <span class='Number'>¯1</span> <span class='Function'>»</span> <span class='Function'>⌈</span><span class='Modifier'>`</span><span class='Paren'>)</span> <span class='Value'>𝕩</span> <span class='Paren'>(</span><span class='Function'>⊢</span><span class='Value'>𝕩</span><span class='Paren'>)</span> <span class='Function'>></span> <span class='Paren'>(</span><span class='Number'>¯1</span><span class='Paren'>)</span> <span class='Function'>»</span> <span class='Paren'>(</span><span class='Function'>⌈</span><span class='Modifier'>`</span><span class='Value'>𝕩</span><span class='Paren'>)</span> <span class='Value'>𝕩</span> <span class='Function'>></span> <span class='Number'>¯1</span> <span class='Function'>»</span> <span class='Function'>⌈</span><span class='Modifier'>`</span><span class='Value'>𝕩</span> |