From 3db42fabef4833cb0193ce4605e43dc0254aa7b2 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Wed, 22 Apr 2015 01:09:16 -0400 Subject: Initial commit of B --- B.agda | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 B.agda (limited to 'B.agda') 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 -- cgit v1.2.3