From 2eb7d0c64030c4d473aa5b007c59717e48eeb751 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Thu, 23 Sep 2021 08:17:21 -0400
Subject: =?UTF-8?q?Support=20=E2=89=A0=E2=81=BC=20on=20booleans?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/r1.bqn | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

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∘≡)
-- 
cgit v1.2.3