From 374045f4a0c4aab339a49c4c4bd3dad7c813bf69 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Fri, 24 Apr 2015 19:03:18 -0400 Subject: Add Functor and Monad classes --- B.agda | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'B.agda') diff --git a/B.agda b/B.agda index 5c73dd4..d6087d8 100644 --- a/B.agda +++ b/B.agda @@ -16,10 +16,10 @@ 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.Eq public +open import B.Prelude.Functor public open import B.Prelude.List 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