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/couple.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/doc/couple.html') diff --git a/docs/doc/couple.html b/docs/doc/couple.html index 86d8434a..e583b7f6 100644 --- a/docs/doc/couple.html +++ b/docs/doc/couple.html @@ -66,7 +66,7 @@

As a consequence, Pair (⋈) can be written ≍○<, while ≍ is >∘⋈ as discussed above. This gives the neat (but not useful) identities ≍ ←→ >∘≍○<, and ⋈ ←→ >∘⋈○<, which have the same form because adding ○< commutes with adding >∘.

Merge and array theory

In all cases, what these functions do is more like reinterpreting existing data than creating new information. In fact, if we ignore the shape and look at the deshaped arrays involved in a call to Merge, we find that it just joins them together. Essentially, Merge is a request to ensure that the inner arrays make up a homogeneous (not "ragged") array, and then to consider them to be such an array. It's the same thing Rank does to combine the result cells from its operand into a single array.

-↗️
    ⥊ > a
+↗️
    ⥊ > a
 "ABrstABuvwABxyzCDrstCDuvwCDxyz"
 
     ⥊ ⥊¨ a
-- 
cgit v1.2.3