aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-09-23 08:17:21 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-09-23 08:17:21 -0400
commit2eb7d0c64030c4d473aa5b007c59717e48eeb751 (patch)
treeee07638f7272067a7b83e090de6af88ceec4a9bd /src
parent3f7bab449929fbe396d4d842db0cdc0a36b5433f (diff)
Support ≠⁼ on booleans
Diffstat (limited to 'src')
-rw-r--r--src/r1.bqn1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/r1.bqn b/src/r1.bqn
index 399bedf7..84c70046 100644
--- a/src/r1.bqn
+++ b/src/r1.bqn
@@ -827,6 +827,7 @@ PrimInverse ← INF _lookup_ ⟨
'∧', ⊢_invChk_∧⊘(÷˜)
'∨', ⊢_invChk_∨⊘(-˜÷1-⊣)
'¬', ¬
+ '≠', {B←0⊸=∨1⊸=⋄IX B𝕩⋄IA B𝕨⋄𝕩≠𝕨} _perv
'<', {IX IsArray𝕩⋄IX 0==𝕩⋄0⊑⥊𝕩}⊘(IA∘0)
'⊢', ⊢
'⊣', ⊢⊘(⊢⊣IX∘≡)