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/find.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/find.html') diff --git a/docs/doc/find.html b/docs/doc/find.html index 01efff6d..7d30ff18 100644 --- a/docs/doc/find.html +++ b/docs/doc/find.html @@ -67,7 +67,7 @@ ┘

It's also allowed for 𝕨 to have a smaller rank than 𝕩; the axes of 𝕨 then correspond to trailing axes of 𝕩, so that leading axes of 𝕩 are mapped over. This is a minor violation of the leading axis principle, which would match axes of 𝕨 to leading axes of 𝕩 in order to make a function that's useful with the Rank operator, but such a function would be quite strange and hardly ever useful.

-↗️
    0101  a
+↗️
    0101  a
 ┌─             
 ╵ 0 0 0 0 0 0  
   0 0 0 0 0 0  
-- 
cgit v1.2.3