From 0cb2b27268b637f5f87c797ba3982f64ec4bbd4c Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Thu, 23 Feb 2023 02:16:29 +0100
Subject: Added more types

---
 std/Logic.bruijn | 24 ++++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'std/Logic.bruijn')

diff --git a/std/Logic.bruijn b/std/Logic.bruijn
index 06a08eb..e6f205c 100644
--- a/std/Logic.bruijn
+++ b/std/Logic.bruijn
@@ -3,14 +3,14 @@
 :import std/Combinator .
 
 # true
-true k
+true k ⧗ Boolean
 
 # false
-false ki
+false ki ⧗ Boolean
 
 # inverts boolean value
 # equivalent of [0 ⇒ false]
-not! [0 false true]
+not! [0 false true] ⧗ Boolean → Boolean
 
 ¬‣ not!
 
@@ -18,7 +18,7 @@ not! [0 false true]
 :test (¬false) (true)
 
 # true if both args are true
-and? [[1 0 false]]
+and? [[1 0 false]] ⧗ Boolean → Boolean → Boolean
 
 …⋀?… and?
 
@@ -28,7 +28,7 @@ and? [[1 0 false]]
 :test (false ⋀? false) (false)
 
 # true if not both args are true
-nand? [[1 0 1 false true]]
+nand? [[1 0 1 false true]] ⧗ Boolean → Boolean → Boolean
 
 :test (nand? true true) (false)
 :test (nand? true false) (true)
@@ -36,7 +36,7 @@ nand? [[1 0 1 false true]]
 :test (nand? false false) (true)
 
 # true if one of the args is true
-or? [[1 true 0]]
+or? [[1 true 0]] ⧗ Boolean → Boolean → Boolean
 
 …⋁?… or?
 
@@ -46,7 +46,7 @@ or? [[1 true 0]]
 :test (false ⋁? false) (false)
 
 # true if both args are false
-nor? [[1 1 0 false true]]
+nor? [[1 1 0 false true]] ⧗ Boolean → Boolean → Boolean
 
 :test (nor? true true) (false)
 :test (nor? true false) (false)
@@ -54,7 +54,7 @@ nor? [[1 1 0 false true]]
 :test (nor? false false) (true)
 
 # true if args are not same bools
-xor? [[1 ¬0 0]]
+xor? [[1 ¬0 0]] ⧗ Boolean → Boolean → Boolean
 
 :test (xor? true true) (false)
 :test (xor? true false) (true)
@@ -62,7 +62,7 @@ xor? [[1 ¬0 0]]
 :test (xor? false false) (false)
 
 # true if both args are same bools
-xnor? [[1 0 ¬0]]
+xnor? [[1 0 ¬0]] ⧗ Boolean → Boolean → Boolean
 
 :test (xnor? true true) (true)
 :test (xnor? true false) (false)
@@ -72,7 +72,7 @@ xnor? [[1 0 ¬0]]
 # if first arg is true, exec first exp; else second exp
 # this function is generally redundant
 # I personally just write (exp? case-T case-F) directly
-if [[[2 1 0]]]
+if [[[2 1 0]]] ⧗ Boolean → a → b → c
 
 …?…:… if
 
@@ -82,7 +82,7 @@ if [[[2 1 0]]]
 :test (false ? true : false) (false)
 
 # mathematical implies definition
-implies [[¬1 ⋁? 0]]
+implies [[¬1 ⋁? 0]] ⧗ Boolean → Boolean → Boolean
 
 …⇒?… implies
 
@@ -92,7 +92,7 @@ implies [[¬1 ⋁? 0]]
 :test (false ⇒? false) (true)
 
 # mathematical iff (if and only if) definition
-iff [[(1 ⇒? 0) ⋀? (0 ⇒? 1)]]
+iff [[(1 ⇒? 0) ⋀? (0 ⇒? 1)]] ⧗ Boolean → Boolean → Boolean
 
 …⇔?… iff
 
-- 
cgit v1.2.3