main :: IO ()
main = do
  putStrLn "hey"
  hspec normalizationTests
  hspec subsumptionTests
  return ()

-- let enc :: Data.ByteString.Internal.ByteString ; enc = encode $ And [Atomic "Jess", Atomic "Andy"]; dec :: Either String Concept ; dec = decode enc in dec
main :: IO ()
main = do
  putStrLn "hey"
  hspec normalizationTests
  hspec subsumptionTests
  return ()

-- let enc :: Data.ByteString.Internal.ByteString ; enc = encode $ And [Atomic "Jess", Atomic "Andy"]; dec :: Either String Concept ; dec = decode enc in dec
main = do
  putStrLn "hey"
  hspec normalizationTests
  hspec subsumptionTests
  return ()

-- let enc :: Data.ByteString.Internal.ByteString ; enc = encode $ And [Atomic "Jess", Atomic "Andy"]; dec :: Either String Concept ; dec = decode enc in dec