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
|