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
|