diff options
author | Benjamin Barenblat <bbaren@mit.edu> | 2015-04-24 19:03:18 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-04-24 19:03:18 -0400 |
commit | 374045f4a0c4aab339a49c4c4bd3dad7c813bf69 (patch) | |
tree | 958685dd89b3bfbcc7c841805829a5a0796c510b /B.agda | |
parent | 26fe1ec59740112c590428bafc49b255249a01cd (diff) |
Add Functor and Monad classes
Diffstat (limited to 'B.agda')
-rw-r--r-- | B.agda | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |