atp-haskell-1.14: Translation from Ocaml to Haskell of John Harrison's ATP code
Data.Logic.ATP.ParserTests
t :: (Eq a, Pretty a) => String -> a -> a -> Test Source #
parseFOL' :: String -> Either String Formula Source #
testParser :: Test Source #