1 files changed, 18 insertions, 0 deletions
diff --git a/Prelude/Bool.agda b/Prelude/Bool.agda
new file mode 100644
index 0000000..9d82c50
--- /dev/null
+++ b/Prelude/Bool.agda
@@ -0,0 +1,18 @@
+module B.Prelude.Bool where
+
+open import B.Prelude.BooleanAlgebra using (BooleanAlgebra)
+import Data.Bool
+import Data.Bool.Properties
+
+open Data.Bool
+  using (Bool; if_then_else_; T)
+  public
+
+instance
+  BooleanAlgebra-Bool : BooleanAlgebra _ _
+  BooleanAlgebra-Bool = Data.Bool.Properties.booleanAlgebra
+
+module Bool where
+  open Data.Bool
+    using (_xor_)
+    public