From 3dc2bbcf1b21a53fd208a2c6b23a305145a6928d Mon Sep 17 00:00:00 2001 From: Marshall Lochbaum Date: Tue, 12 Jan 2021 20:39:37 -0500 Subject: Clean up dzref a little --- dzref | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/dzref b/dzref index 28bba9d5..0bf42f37 100755 --- a/dzref +++ b/dzref @@ -26,10 +26,9 @@ _depthOp_←{ #⌜ # LAYER 5: Structural functions -Nat←IsArray◶⟨0⊸≤∧⌊⊸=,0⟩ - Windows←{ - ! IsArray 𝕩 + Nat←(1=•Type)◶⟨0,0⊸≤∧⌊⊸=⟩ + ! 0=•Type 𝕩 ! 1≥=𝕨 ! 𝕨≤○≠≢𝕩 ! ∧´Nat¨⥊𝕨 @@ -95,11 +94,7 @@ _withRef ← ˙ } # built-in assumptions - Mod ← {((⊑chr⊐𝕨)⊑names) ∾ " ← " ∾ 𝕩} - - Raw¨ ⟨ - "IsArray ← 0≠≡" - ⟩∾Mod⟜⥊¨ "↕⊐" + (Raw (chr⊸⊐⌾<⊑names˙)∾" ← "∾⥊)¨ "↕⊐" chr∾↩"⍎" ⋄ names∾↩⟨"⍎_withRef "⟩ -- cgit v1.2.3