aboutsummaryrefslogtreecommitdiff
path: root/Prelude/Bool.agda
blob: 9d82c5035ac1a72933aefdafffa5b0c32785da69 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
module B.Prelude.Bool where

open import B.Prelude.BooleanAlgebra using (BooleanAlgebra)
import Data.Bool
import Data.Bool.Properties

open Data.Bool
  using (Bool; if_then_else_; T)
  public

instance
  BooleanAlgebra-Bool : BooleanAlgebra _ _
  BooleanAlgebra-Bool = Data.Bool.Properties.booleanAlgebra

module Bool where
  open Data.Bool
    using (_xor_)
    public