From fba84369ae9fe7bdf0fa19c85076a52dbe2ce058 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Mon, 29 Jun 2020 19:35:05 -0400
Subject: First two layers of dzaima+reference testing

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

(limited to 'spec')

diff --git a/spec/dzref b/spec/dzref
index 4a4849f1..6efe53f4 100755
--- a/spec/dzref
+++ b/spec/dzref
@@ -11,11 +11,10 @@ impl ← "◶ ← {𝕨((𝕨𝔽𝕩)⊑𝕘){𝔽}𝕩}     ⍝ LIMITED to num
 ⟜ ← {(𝕨⊣𝕩)𝔽𝔾𝕩} ⍝ {(𝔽{𝕨𝔽𝔾𝕩}𝔾)˜˜} ⍝ {F←𝔽 ⋄ G←𝔾 ⋄ {𝕨F G𝕩}˜˜} ⍝ {𝕨𝔽𝔾𝕩}˜˜
 
 ⍝ LIMITED to numeric arguments for scalar cases
-√ ← 2⊸√      ⊘ (⋆⟜÷˜)
+√ ← ⋆⟜(÷2)   ⊘ (⋆⟜÷˜)
 ∧ ←            ×
 ∨ ←            (+-×)
 ¬ ← 1+-
-| ← ×⟜×      ⊘ {𝕩-𝕨×⌊𝕩÷𝕨}
 < ← {⟨⟩⥊⟨𝕩⟩} ⊘ (¬≤˜)
 > ←            (¬≤)
 ≥ ← !∘0      ⊘ (≤˜)
@@ -23,6 +22,7 @@ impl ← "◶ ← {𝕨((𝕨𝔽𝕩)⊑𝕘){𝔽}𝕩}     ⍝ LIMITED to num
 Length ← (0<0⊑≢)◶⟨1⋄0⊑⊢⟩∘≢
 ≠ ← Length   ⊘ (¬∘=)
 × ↩ 0⊸(<->)  ⊘ ×
+| ← ×⟜×      ⊘ {𝕩-𝕨×⌊𝕩÷𝕨}
 
 _eachm←{
   r←⥊𝕩 ⋄ F←𝔽
-- 
cgit v1.2.3