Fixed documentation comment glitches in the logic ADTs

Author: boggle

src/lib/bool.rs

@@ -30,7 +30,7 @@ Conjunction
 */
 pure fn and(a: t, b: t) -> t { a && b }
 
-/* Function: and
+/* Function: or
 
 Disjunction
 */

src/lib/four.rs

@@ -5,10 +5,10 @@ Module: four
 
 The fourrternary Belnap relevance logic FOUR represented as ADT
 
-This allows reasoning with four logic values (true, false, none, both)
+This allows reasoning with four logic values (true, false, none, both).
 
 Implementation: Truth values are represented using a single u8 and
-all operations are done using bitshifting which is fast
+all operations are done using bit operations which is fast
 on current cpus.
 */
 

src/lib/tri.rs

@@ -5,10 +5,10 @@ Module: tri
 
 ADT for the ternary Kleene logic K3
 
-This allows reasoning with three logic values (true, false, unknown)
+This allows reasoning with three logic values (true, false, unknown).
 
 Implementation: Truth values are represented using a single u8 and
-all operations are done using bitshifting which is fast
+all operations are done using bit operations which is fast
 on current cpus.
 */