Prelude/BooleanAlgebra.agda


1
2
3
4
5
6
7
8
9

module B.Prelude.BooleanAlgebra where

import Algebra
open Algebra
  using (BooleanAlgebra)
  public
open Algebra.BooleanAlgebra ⦃...⦄
  using (_∧_; _∨_; ¬_; ⊤; ⊥)
  public