From a802ebc617b2209c5c16838e160ae2dba2da42ff Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 26 Jul 2020 19:27:46 -0400
Subject: Remove some unused functions

---
 dzref | 14 ++------------
 1 file changed, 2 insertions(+), 12 deletions(-)

diff --git a/dzref b/dzref
index 5edc7035..26a4891a 100755
--- a/dzref
+++ b/dzref
@@ -1,20 +1,9 @@
 #!/usr/bin/env dbqn
 
 impl ← "
-#⌜
-# LAYER 3: Remove other limits
-# Now all implementations are full but ↕ is monadic only
-
-Int←IsArray◶⟨⌊⊸=,0⟩
-Nat←IsArray◶⟨0⊸≤∧⌊⊸=,0⟩
-
-
 #⌜
 # LAYER 4: Operators
 
-
-Cell ← ↓⟜≢
-
 _ranks ← {⟨2⟩⊘⟨1,0⟩((⊣-1+|)˜⟜≠⊑¨<∘⊢)⥊∘𝔽}
 _depthOp_←{
   neg←0>n←𝕨𝔾_ranks𝕩 ⋄ F←𝔽
@@ -30,6 +19,8 @@ _depthOp_←{
 #⌜
 # LAYER 5: Structural functions
 
+Nat←IsArray◶⟨0⊸≤∧⌊⊸=,0⟩
+
 _onAxes_←{
   F←𝔽
   (𝔾<≡)∘⊣◶{ # One axis
@@ -173,7 +164,6 @@ X←Raw←{≤4}
   Mod ← ⍎{𝔽 ((⊑chr⊐𝕨)⊑names) ∾ " ↩ " ∾ 𝕩}
 
   ⍎"IsArray ← 0≠≡"
-  ⍎"Type    ← ⟨⟩⥊0⊸⥊"
 
   '!' Mod "{𝕩 ⋄ ≤1}⍟¬"
   Mod⟜⥊¨ "↕∾⌽⊐⍋⍒"
-- 
cgit v1.2.3