agda/benchmark/ac/Logic.agda

module Logic where

data True : Set where
  tt : True

data False : Set where