From e2b07a5fd0bbaad232c717fb90a31d6c61d72bd4 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Thu, 14 Jul 2022 20:06:50 -0400 Subject: Try to include previous variable definitions in REPL links --- docs/doc/pick.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/doc/pick.html') diff --git a/docs/doc/pick.html b/docs/doc/pick.html index 060dcdc1..d6e42149 100644 --- a/docs/doc/pick.html +++ b/docs/doc/pick.html @@ -72,7 +72,7 @@

Many elements

Pick also accepts a list of indices:

-↗️
    a  # Defined above
+↗️
    a  # Defined above
 ┌─       
 ╵"abcde  
   fghij  
@@ -94,7 +94,7 @@
 "cbac"
 

 
It's much more general than just a list of indices though. As long as your indices are lists, you can arrange them in any array structure with arbitrary nesting.

-↗️
    ⟨2‿0, ⟨⟨1‿¯1, 3‿1⟩, ¯1‿¯1⟩⟩ ⊑ a
+↗️
    ⟨2‿0, ⟨⟨1‿¯1, 3‿1⟩, ¯1‿¯1⟩⟩ ⊑ a
 ⟨ 'k' ⟨ "jq" 't' ⟩ ⟩
 
     (⟨2‿0, 1‿¯1⟩≍⟨3‿1, ¯1‿¯1⟩) ⊑ a
@@ -114,7 +114,7 @@
               ┘
 

 
This option is easily described using the Depth modifier. Pick applies to depth-1 components of the left argument and the entire right argument, which corresponds to a depth operand of 1‿∞. The left argument components have to be lists of numbers, or Pick gives an error.

-↗️
    (⟨2‿0, <1‿¯1⟩≍⟨<3‿1, ¯1‿¯1⟩) ⊑⚇1‿∞ a
+↗️
    (⟨2‿0, <1‿¯1⟩≍⟨<3‿1, ¯1‿¯1⟩) ⊑⚇1‿∞ a
 ┌─             
 ╵ 'k'   ┌·     
         ·'j'   
-- 
cgit v1.2.3