Agda-2.3.2.2: benchmark/ac/Logic.agda

module Logic where

data True : Set where
  tt : True

data False : Set where