algebra-checkers-0.1.0.0: src/AlgebraCheckers/Types.hs-boot

module AlgebraCheckers.Types where

import Language.Haskell.TH

data Law a = Law
  { lawData :: a
  , lawLhsExp :: Exp
  , lawRhsExp :: Exp
  }