From 08f10f6c0e9c5b4ee536e68491b7deecadb27873 Mon Sep 17 00:00:00 2001 From: BJ Date: Wed, 25 May 2022 07:31:22 -0700 Subject: Fix docs for first_pick's dyadic form MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Dyadic ⊑ takes an index as its first argument and the list as its second. --- help/first_pick.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'help') 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⟩ -- cgit v1.2.3