Initial commit of B

1 files changed, 11 insertions, 0 deletions

diff --git a/B.agda b/B.agda
new file mode 100644
index 0000000..c2a7b5b
--- /dev/null
+++ b/B.agda
@@ -0,0 +1,11 @@
+module B where
+
+open import B.Prelude.Bool public
+open import B.Prelude.BooleanAlgebra public
+open import B.Prelude.Char public
+open import B.Prelude.Maybe public
+open import B.Prelude.Product public
+open import B.Prelude.String public
+open import B.Prelude.Sum public
+
+open import B.Prelude.Eq public