From 2f61ee644fe9c465f351307cdee805b46c864648 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Thu, 2 Jul 2020 20:23:39 -0400
Subject: Take out each/scan covers

---
 spec/dzref | 35 +----------------------------------
 1 file changed, 1 insertion(+), 34 deletions(-)

diff --git a/spec/dzref b/spec/dzref
index 77d101dd..9427dfd2 100755
--- a/spec/dzref
+++ b/spec/dzref
@@ -6,13 +6,6 @@ impl ← "◶ ← {𝕨((𝕨𝔽𝕩)⊑𝕘){𝔽}𝕩}
 ∨ ←            (+-×)
 | ← ×⟜×      ⊘ {𝕩-𝕨×⌊𝕩÷𝕨}
 
-_eachm←{
-  r←⥊𝕩 ⋄ F←𝔽
-  E←(≠r)⊸≤◶{r↩r𝕩_amend˜F𝕩⊑r⋄E𝕩+1}‿⊢
-  E 0 ⋄ (≢𝕩)⥊r
-}
-¨ ← _eachm   ⍝ LIMITED to monadic case and array 𝕩
-
 
 ⍝⌜
 ⍝ LAYER 2: Pervasion
@@ -21,19 +14,6 @@ _eachm←{
 
 ToArray ← IsArray◶<‿⊢
 
-_eachd←{
-  _e←{ ⍝ 𝕨 has smaller or equal rank
-    k←≠p←≢𝕨 ⋄ q←≢𝕩
-    ! ∧´(⊑⟜p=⊑⟜q)¨↕k
-    l←1×´(q⊑˜k⊸+)¨↕q≠⊸-k
-    a←⥊𝕨 ⋄ b←⥊𝕩
-    q⥊⥊(≠a) (⊑⟜a𝔽l⊸×⊸+⊑b˜)⌜○↕ l
-  }
-  (>○(≠≢))◶⟨𝔽_e⋄𝔽˜_e˜⟩
-}
-
-¨ ↩ {(𝔽_eachm)⊘(𝔽_eachd)○ToArray}
-
 _perv←{ ⍝ Pervasion
   (⊢⊘∨○IsArray)◶⟨𝔽⋄𝔽{𝕨𝔽_perv𝕩}¨⟩
 }
@@ -72,17 +52,6 @@ _rankOp_←{
   }
   > ((⊑k)Enc𝕨) 𝔽¨ ((1-˜≠)⊸⊑k)Enc𝕩
 }
-_scan←{
-  ! IsArray 𝕩
-  ! 1≤≠≢𝕩
-  F←𝔽
-  (0<≠∘⥊)◶⊢‿{
-    r←⥊𝕩 ⋄ l←≠𝕩 ⋄ c←1×´1 Cell 𝕩
-    {r↩r𝕩_amend˜𝕨F○(⊑⟜r)𝕩}⟜(c⊸+)¨↕c-˜≠r
-    (≢𝕩)⥊r
-  }𝕩
-}
-` ← _scan
 _iterate_←{
   n←𝕨𝔾𝕩
   f←⊑𝕨⟨𝔽⟩⊘⟨𝕨𝔽⊢⟩𝕩
@@ -267,7 +236,7 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩}
 {
   chrs←⟨
     "!√∧∨|∾↑↕⌽⍉/⍋⍒⊏⊐⊒∊⍷⊔"
-    "˘¨`"
+    "˘"
     "⎉⚇⍟◶"
   ⟩
   nc ← ≠¨chrs
@@ -292,8 +261,6 @@ ProgressiveIndexOf ← {𝕨⊐○(≍˘⟜OccurrenceCount𝕨⊸⊐)𝕩}
   Mod ← ⍎{𝔽 ((⊑chr⊐𝕨)⊑names) ∾ " ↩ " ∾ 𝕩}
 
   ⍎"IsArray ← 0≠≡"
-  ⍎"_amend  ← {𝕨{𝕩⋄𝕗}⌾(𝕗⊑⊢)𝕩}"
-  ⍎"Identity← {𝕏´⟨⟩}"
   ⍎"Type    ← ⟨⟩⥊0⊸⥊"
 
   '!' Mod "{𝕩 ⋄ ≤1}⍟¬"
-- 
cgit v1.2.3