aboutsummaryrefslogtreecommitdiff
path: root/spec
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2022-01-03 11:50:01 -0500
committerMarshall Lochbaum <mwlochbaum@gmail.com>2022-01-03 11:50:01 -0500
commit0438a1e5feebaf060de0615c1f9887991d4a9bce (patch)
treea690ff5ad97c3d437db5b2694d5f8d8da8112939 /spec
parent4db871265124e9510321ca70d50adfa3d8487b9c (diff)
Don't use ˜ as constant
Diffstat (limited to 'spec')
-rw-r--r--spec/reference.bqn2
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/reference.bqn b/spec/reference.bqn
index d3f84ec9..124b5dd9 100644
--- a/spec/reference.bqn
+++ b/spec/reference.bqn
@@ -468,7 +468,7 @@ _bins←{
c←1-˜=𝕨
! 0≤c
! c≤=𝕩
- LE←𝔽⎉c≤0˜
+ LE←𝔽⎉c≤0˙
! (0<≠)◶⟨1,∧´·LE˝˘2↕⊢⟩𝕨
𝕨 (0<≠𝕨)◶⟨0⎉c∘⊢,+˝LE⎉¯1‿∞⟩ 𝕩
}