------------------------------------------------------------------------ -- The empty type; also used as absurd proposition (``Falsity''). ------------------------------------------------------------------------ module Tools.Empty where open import Data.Empty public