diff options
| author | BJ <bjterry@gmail.com> | 2022-05-25 07:31:22 -0700 |
|---|---|---|
| committer | BJ <bjterry@gmail.com> | 2022-05-25 07:31:22 -0700 |
| commit | 08f10f6c0e9c5b4ee536e68491b7deecadb27873 (patch) | |
| tree | b8c4fbc533fcd961e358cd04a30ac04224138da0 /help/first_pick.md | |
| parent | 871813e2df2aa50745536a0d8834875915276a67 (diff) | |
Fix docs for first_pick's dyadic form
Dyadic ⊑ takes an index as its first argument and the list as its second.
Diffstat (limited to 'help/first_pick.md')
| -rw-r--r-- | help/first_pick.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/help/first_pick.md b/help/first_pick.md index 6824accb..07e94643 100644 --- a/help/first_pick.md +++ b/help/first_pick.md @@ -18,7 +18,7 @@ First element of `𝕩`. ## `𝕨 ⊑ 𝕩`: Pick [→full documentation](../doc/pick.md) -Pick the element of `𝕨` at index `𝕩`. +Pick the element of `𝕩` at index `𝕨`. 2 ⊑ ⟨1, 2, 3⟩ |