From 3295d50d33ba6f92185470c2984b097140231618 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 14 Jun 2022 22:13:43 -0400 Subject: =?UTF-8?q?Use=20[]=20instead=20of=20>=E2=9F=A8=E2=9F=A9=20in=20a?= =?UTF-8?q?=20few=20places?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/doc/map.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/map.html') diff --git a/docs/doc/map.html b/docs/doc/map.html index 396b0a48..e91b4689 100644 --- a/docs/doc/map.html +++ b/docs/doc/map.html @@ -222,7 +222,7 @@ Error: Mapping: Expected equal shape prefix (⟨3⟩ ≡ ≢𝕨, ⟨5⟩ ≡ ≢𝕩)

Arguments can have any shape as long as the axis lengths match up. As with Table, the result elements don't depend on these shapes but the result shape does.

-↗️
    (>⟨20‿30‿10,50‿40‿60⟩) +⟜↕¨ 2‿1‿0≍3‿2‿1
+↗️
    [20‿30‿10,50‿40‿60] +⟜↕¨ 2‿1‿0≍3‿2‿1
 ┌─                               
 ╵ ⟨ 20 21 ⟩    ⟨ 30 ⟩    ⟨⟩      
   ⟨ 50 51 52 ⟩ ⟨ 40 41 ⟩ ⟨ 60 ⟩  
-- 
cgit v1.2.3