From 987e6890f78e54402b1355201d45e2fbce1fd992 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 16 Apr 2022 17:02:57 -0400
Subject: =?UTF-8?q?Allow=20higher-precision=20implementations=20of=20?=
 =?UTF-8?q?=E2=88=9A=20and=20|?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 spec/reference.bqn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'spec/reference.bqn')

diff --git a/spec/reference.bqn b/spec/reference.bqn
index a876f388..a9d2ef44 100644
--- a/spec/reference.bqn
+++ b/spec/reference.bqn
@@ -59,11 +59,11 @@ Nat←(1=Type)◶⟨0,0⊸≤×⌊⊸=⟩
 ≢ ↩ IsArray◶⟨⟩‿≢  # LIMITED to monadic case
 
 # LIMITED to numeric arguments for arithmetic cases
-√ ← ⋆⟜(÷2)   ⊘ (⋆⟜÷˜)
+√ ← ⋆⟜(÷2)   ⊘ (⋆⟜÷˜)      # Higher precision allowed; see spec
 ∧ ←            ×
 ∨ ←            (+-×)
 ¬ ← 1+-
-| ← ×⟜×      ⊘ {𝕩-𝕨×⌊𝕩÷𝕨}
+| ← ×⟜×      ⊘ {𝕩-𝕨×⌊𝕩÷𝕨}  # Higher precision allowed; see spec
 < ← {⟨⟩⥊⟨𝕩⟩} ⊘ (¬≤˜)
 > ←            (¬≤)
 ≥ ← !∘0      ⊘ (≤˜)
-- 
cgit v1.2.3