proinsias 0.6.0 → 0.6.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 59df574c594440e3e4adc365f2553d997eb02daa5c7286658e4bb51e51db7c45
-  data.tar.gz: 4040cf2b2855982541c03c832b06095eed0502345dff50baa72a6354706b9c8d
+  metadata.gz: a6b3650c4481da95ee2b19c46f4c1f7f72695287f63ff1b2ef06d4c525783541
+  data.tar.gz: 8940e440c04d1c8a83571bf57d2d8ccbc4cc9cda9b154f8073c8353fce4d7cab
 SHA512:
-  metadata.gz: c7494a0772aca77521153fd5ff18ebaf94c471b1100e1550995396ad5b1e6f63729eff3569cb019d4287c9e956b5a8cbb5c84bb8ed48b57fadf8a92cd158b02a
-  data.tar.gz: 8cd380d0703ff14f01434c5fcb5a299184e95f44a9d942e9f4df7760f286c5cae7f638be6564e37b879d00c427c460710c49dc078f0ef1b579baf522554fc758
+  metadata.gz: 65c98c12e8b62b84cdd987e56904c2f6d254a49d458932cc8cda423fdd3d1bd16f59bc74fa5710f69f068a66ca87b924c0d789d6fb3f3046b53e605ccd00f4d2
+  data.tar.gz: b33714bd01a0afe61939ae7e95fb955e6a0595680e88c6e75df00edf91f955ad92e5e4d3f0aa9577a4260a45b1a61e3be25128b77c49331d5c578455fa9eb803

data/Gemfile.lock

@@ -1,7 +1,7 @@
 PATH
   remote: .
   specs:
-    proinsias (0.6.0)
+    proinsias (0.6.1)
       moory (~> 1.2.0)
 
 GEM

data/lib/proinsias/configurations.rb

@@ -9,6 +9,7 @@ module Proinsias
     ^ : ¬ / ¬ / produce : ^
 
     ^ : ≡ / ≡ / produce : ^
+    ^ : ≢ / ≢ / produce : ^
     ^ : ∧ / ∧ / produce : ^
     ^ : ∨ / ∨ / produce : ^
     ^ : ⇒ / ⇒ / produce : ^

data/lib/proinsias/parser.rb

@@ -1,5 +1,9 @@
 module Proinsias
   class Parser
+    def Parser.one_shot(str)
+      new.tap { |psr| psr.analyse(str) }
+    end
+
     def analyse(str)
       str.each_char { |c| issue(c) }
     end

data/lib/proinsias/particle.rb

@@ -138,6 +138,16 @@ module Proinsias
       end
     end
 
+    class Inequivalence < BinaryOperator
+      include Disposition::Optimistic
+
+      def initialize(glyph='≢')
+        super
+        @strength = 12
+        @role = 'infix'
+      end
+    end
+
     class Consequence < BinaryOperator
       include Disposition::Optimistic
 

data/lib/proinsias/scanner.rb

@@ -26,6 +26,7 @@ module Proinsias
         'false' => 'Constant',
         '¬'     => 'Negation',
         '≡'     => 'Equivalence',
+        '≢'     => 'Inequivalence',
         '⇐'     => 'Consequence',
         '⇒'     => 'Implication',
         '='     => 'Equality',

data/lib/proinsias/version.rb

@@ -1,3 +1,3 @@
 module Proinsias
-  VERSION = "0.6.0"
+  VERSION = "0.6.1"
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: proinsias
 version: !ruby/object:Gem::Version
-  version: 0.6.0
+  version: 0.6.1
 platform: ruby
 authors:
 - Adam W. Grant