{-# OPTIONS --safe #-}
module Data.Empty where

open import Data.Empty.Base       public
open import Data.Empty.Path       public
open import Data.Empty.Properties public

open import Data.Empty.Instances.Everything public
