From abe8ae4745bb2ebe3b71b047aa92e2ae89a414d5 Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Wed, 6 Jan 2021 21:55:23 -0500 Subject: Avoid joining units in some documentation --- docs/doc/group.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'docs/doc/group.html') diff --git a/docs/doc/group.html b/docs/doc/group.html index 2240a89c..491fca81 100644 --- a/docs/doc/group.html +++ b/docs/doc/group.html @@ -101,8 +101,8 @@ ┘

If we would like a particular index to key correspondence, we can use a fixed left argument to Index Of.

-↗️
    countries ← "IT"‿"JP"‿"NO"‿"SU"‿"US"
-    countries ∾˘ co countries⊸⊐⊸⊔ ln
+↗️
    countries ← "IT"‿"JP"‿"NO"‿"SU"‿"US"
+    countries ≍˘ co countries⊸⊐⊸⊔ ln
 ┌─                                 
 ╵ "IT" ⟨⟩                          
   "JP" ⟨⟩                          
@@ -112,8 +112,8 @@
                                   ┘
 

 
However, this solution will fail if there are trailing keys with no values. To force the result to have a particular length you can append that length as a dummy index to each argument, then remove the last group after grouping.

-↗️
    countries ↩ "IT"‿"JP"‿"NO"‿"SU"‿"US"‿"ZW"
-    countries ∾˘ co countries{𝕗⊸⊐⊸(¯1↓⊔○(∾⟜(≠𝕗)))} ln
+↗️
    countries ↩ "IT"‿"JP"‿"NO"‿"SU"‿"US"‿"ZW"
+    countries ≍˘ co countries{𝕗⊸⊐⊸(¯1↓⊔○(∾⟜(≠𝕗)))} ln
 ┌─                                 
 ╵ "IT" ⟨⟩                          
   "JP" ⟨⟩                          
-- 
cgit v1.2.3