logic-classes-1.4.1: Data/Logic/Tests/Harrison/Common.hs

{-# LANGUAGE FlexibleInstances, StandaloneDeriving #-}
module Data.Logic.Tests.Harrison.Common where

import Data.Logic.Types.Harrison.Equal (FOLEQ(..))
import Data.Logic.Types.Harrison.Formulas.FirstOrder (Formula(..))

-- deriving instance Show FOLEQ
-- deriving instance Show (Formula FOLEQ)