diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-09-23 08:17:21 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-09-23 08:17:21 -0400 |
| commit | 2eb7d0c64030c4d473aa5b007c59717e48eeb751 (patch) | |
| tree | ee07638f7272067a7b83e090de6af88ceec4a9bd /src/r1.bqn | |
| parent | 3f7bab449929fbe396d4d842db0cdc0a36b5433f (diff) | |
Support ≠⁼ on booleans
Diffstat (limited to 'src/r1.bqn')
| -rw-r--r-- | src/r1.bqn | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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∘≡) |