aboutsummaryrefslogtreecommitdiff
path: root/B.agda
blob: c2a7b5b2f899014963aa463d726c78a95f1f78e8 (plain)
1
2
3
4
5
6
7
8
9
10
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