Remove some unused functions

1 files changed, 2 insertions, 12 deletions

diff --git a/dzref b/dzref
index 5edc7035..26a4891a 100755
--- a/dzref
+++ b/dzref
@@ -2,19 +2,8 @@
 
 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⟜⥊¨ "↕∾⌽⊐⍋⍒"