agda/examples/tactics/ac/Logic.agda

module Logic where

data True : Set where
  tt : True

data False : Set where