atp-haskell-1.14.3: Translation from Ocaml to Haskell of John Harrison's ATP code
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Logic.ATP.ParserTests

Documentation

t :: (Eq a, Pretty a) => String -> a -> a -> Test Source #

parseFOL' :: String -> Either String Formula Source #

testParser :: Test Source #