From d69cb9ec07fe52297bb33140a6780f5620285951 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Thu, 9 Jul 2020 08:18:49 -0400
Subject: =?UTF-8?q?Operators=20=E2=8E=89=E2=8D=9F=E2=97=B6=20now=20fully?=
 =?UTF-8?q?=20supported=20in=20dzaima/BQN?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 spec/dzref | 45 ++-------------------------------------------
 1 file changed, 2 insertions(+), 43 deletions(-)

(limited to 'spec')

diff --git a/spec/dzref b/spec/dzref
index 773ea614..f0354d9f 100755
--- a/spec/dzref
+++ b/spec/dzref
@@ -1,22 +1,10 @@
 #!/usr/bin/env dbqn
 
-impl ← "◶ ← {𝕨((𝕨𝔽𝕩)⊑𝕘){𝔽}𝕩}
+impl ← "
 ∧ ←            ×
 ∨ ←            (+-×)
 
 
-#⌜
-# LAYER 2: Pervasion
-# After defining _perv, we apply it to all scalar functions,
-# making them pervasive. I'm not going to write that out.
-
-ToArray ← IsArray◶<‿⊢
-
-_perv←{ # Pervasion
-  (⊢⊘∨○IsArray)◶⟨𝔽⋄𝔽{𝕨𝔽_perv𝕩}¨⟩
-}
-
-
 #⌜
 # LAYER 3: Remove other limits
 # Now all implementations are full but ↕ is monadic only
@@ -41,27 +29,6 @@ _depthOp_←{
   𝕨 n _d 𝕩
 }
 ⚇ ← _depthOp_
-_rankOp_←{
-  k←𝕨(≍○(≠≢) (0≤⊢)◶⟨⌊⟜-,0⌈-⟩¨ 𝔾_ranks)𝕩
-  Enc←{
-    f←⊑⟜(≢𝕩)¨↕𝕨
-    c←1×´s←𝕨Cell𝕩
-    f⥊⊑⟜(⥊𝕩)¨∘((s⥊↕c)+c×⊢)¨↕1×´f
-  }
-  > ((⊑k)Enc𝕨) 𝔽¨ ((1-˜≠)⊸⊑k)Enc𝕩
-}
-_iterate_←{
-  n←𝕨𝔾𝕩
-  f←⊑𝕨⟨𝔽⟩⊘⟨𝕨𝔽⊢⟩𝕩
-  l←u←0
-  {!Int𝕩⋄l↩l⌊𝕩⋄u↩u⌈𝕩}⚇0 n
-  a←𝕩⋄_p←{𝔽∘⊣`(1+𝕩)⥊<a}
-  pos←F _p u ⋄ neg←F⁼_p-l
-  (|⊑<⟜0⊑pos‿neg˜)⚇0 n
-}
-
-⎉ ← _rankOp_
-⍟ ← _iterate_
 
 
 #⌜
@@ -105,14 +72,6 @@ Windows←{
 Reverse ← {!1≤≠≢𝕩 ⋄ (-↕⊸¬≠𝕩)⊏𝕩}
 Rotate ← {!Int𝕨 ⋄ l←≠𝕩⋄(l|𝕨+↕l)⊏𝕩} _onAxes_ 0
 
-Indices←{
-  ! 1=≠≢𝕩
-  ! ∧´Nat¨𝕩
-  ⟨⟩∾´𝕩⥊¨↕≠𝕩
-}
-Rep ← Indices⊸⊏
-Replicate ← {0<≠≢𝕨}◶(⥊˜⟜≠Rep⊢)‿{!𝕨=○≠𝕩⋄𝕨Rep𝕩} _onAxes_ (1-0=≠)
-
 ↕ ↩ ↕              ⊘ Windows
 ⌽ ← Reverse        ⊘ Rotate
 
@@ -223,7 +182,7 @@ X←Raw←{≤4}
   chrs←⟨
     "!∧∨∾↑↕⌽⍉⍋⍒⊐⊒∊⍷⊔"
     ""
-    "⎉⚇⍟◶"
+    "⚇"
   ⟩
   nc ← ≠¨chrs
   chr ← ∾chrs
-- 
cgit v1.2.3