Agda-2.3.2.2: examples/tactics/ac/Logic.agda

module Logic where

data True : Set where
  tt : True

data False : Set where