{-|
  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.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.NegClasses
import Logic.Proof
import Logic.Propositional
import Theory.Equality
import Theory.Named