reduce-equations-0.1.1.0: src/Algebra/Equation/Internal.hs

{-# LANGUAGE OverloadedStrings, RankNTypes, ExistentialQuantification, PartialTypeSignatures #-}
module Algebra.Equation.Internal (
    module Algebra.Equation.Internal.Eval
  , module Algebra.Equation.Internal.Types
  ) where

import Algebra.Equation.Internal.Eval  -- Used for interacting with QuickSpec
import Algebra.Equation.Internal.Types -- Our own representations