diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-04-27 22:21:50 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-04-27 22:21:50 -0400 |
| commit | 31b722e16e6a0f6b0f08e8409b2c7e240937bfed (patch) | |
| tree | 409d3fde73f45aace8ce1c224dd7f5514f1ff4d0 /docs/doc/primitive.html | |
| parent | 3b44787d5b7508a5abd868c7891046576e0eab02 (diff) | |
Documentation for Under
Diffstat (limited to 'docs/doc/primitive.html')
| -rw-r--r-- | docs/doc/primitive.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/doc/primitive.html b/docs/doc/primitive.html index fd153f5a..84ee299e 100644 --- a/docs/doc/primitive.html +++ b/docs/doc/primitive.html @@ -461,7 +461,7 @@ </tr> <tr> <td><code><span class='Modifier2'>⌾</span></code></td> -<td>Under</td> +<td><a href="under.html">Under</a></td> <td><code><span class='Brace'>{</span><span class='Function'>𝔾</span><span class='Modifier'>⁼</span><span class='Modifier2'>∘</span><span class='Function'>𝔽</span><span class='Modifier2'>○</span><span class='Function'>𝔾</span><span class='Brace'>}</span></code> OR <code><span class='Brace'>{</span><span class='Paren'>(</span><span class='Function'>𝔾</span><span class='Value'>𝕩</span><span class='Paren'>)</span><span class='Gets'>↩</span><span class='Value'>𝕨</span><span class='Function'>𝔽</span><span class='Modifier2'>○</span><span class='Function'>𝔾</span><span class='Value'>𝕩</span><span class='Separator'>⋄</span><span class='Value'>𝕩</span><span class='Brace'>}</span></code></td> <td>Apply <code><span class='Function'>𝔽</span></code> over <code><span class='Function'>𝔾</span></code>, then undo <code><span class='Function'>𝔾</span></code></td> </tr> |