---

yaml
---
r: 6425
b: refs/heads/master
c: 1a13504
h: refs/heads/master
i:
  6423: f73a11d
v: v3

Author: boggle

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 1c9f97b6694001a572fe8a085fb9a8cfc6ca44b8
+refs/heads/master: 1a13504796eb167c35ef96c5d29b6f8a7a33ecfe

trunk/src/lib/bool.rs

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

trunk/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.
 */
 

trunk/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.
 */