diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-04-15 12:27:10 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2022-04-15 12:27:10 -0400 |
| commit | e9eec52cc74713cfde1314319c2fc6c3b19144cf (patch) | |
| tree | e6cc20e348c767cba412dc9356ff3ecbf98f1e78 /docs/doc/primitive.html | |
| parent | ef84cc428ec0f22aa2fcdc21c8669843c27c7727 (diff) | |
Documentation for Choose
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 db9140b6..aa3fd087 100644 --- a/docs/doc/primitive.html +++ b/docs/doc/primitive.html @@ -473,7 +473,7 @@ </tr> <tr> <td><code><span class='Modifier2'>◶</span></code></td> -<td>Choose</td> +<td><a href="choose.html">Choose</a></td> <td><code><span class='Brace'>{</span><span class='Value'>f</span><span class='Gets'>←</span><span class='Paren'>(</span><span class='Value'>𝕨</span><span class='Function'>𝔽</span><span class='Value'>𝕩</span><span class='Paren'>)</span><span class='Function'>⊑</span><span class='Value'>𝕘</span> <span class='Separator'>⋄</span> <span class='Value'>𝕨</span><span class='Function'>F</span><span class='Value'>𝕩</span><span class='Brace'>}</span></code></td> <td>Select one of the functions in list <code><span class='Value'>𝕘</span></code> based on <code><span class='Function'>𝔽</span></code></td> </tr> |