Replace placeholder xor? library function

2025-01-30 17:17:07 -06:00
parent 7d1b6a741d
commit a16a24a808
2 changed files with 11 additions and 6 deletions
--- a/lib/base.tri
+++ b/lib/base.tri
@ -38,11 +38,16 @@ head = matchList t (\head _ : head)
 tail = matchList t (\_ tail : tail)

 or? = (\x y : 
-	matchBool 
-  	(matchBool (t t) (t t) y)
-  	(matchBool (t t) 0 y)
-  	x)
-xor? = matchBool id not?
+  matchBool 
+    (matchBool (t t) (t t) y)
+    (matchBool (t t) t y)
+    x)
+
+xor? = (\x y : 
+  matchBool 
+    (matchBool t (t t) y)
+    (matchBool (t t) t y)
+    x)

 append = y (\self : matchList
  (\k : k)