Booleans

{-# OPTIONS --rewriting --confluence-check #-}

module Properties.Flat.Booleans where
  open import Notation.Flat.Booleans public