{-|
  Module      :  GDP
  Copyright   :  (c) Matt Noonan 2018
  License     :  BSD-style
  Maintainer  :  matt.noonan@gmail.com
  Portability :  portable
-}

module GDP
  ( module Data.Arguments
  , module Data.Refined
  , module Data.The
  , module Logic.Classes
  , module Logic.Implicit
  , module Logic.NegClasses
  , module Logic.Proof
  , module Logic.Propositional
  , module Theory.Equality
  , module Theory.Named
  ) where

import           Data.Arguments
import           Data.Refined
import           Data.The
import           Logic.Classes
import           Logic.Implicit
import           Logic.NegClasses
import           Logic.Proof
import           Logic.Propositional
import           Theory.Equality
import           Theory.Named