jukebox-0.1.3: A first-order reasoning toolbox
Jukebox.TPTP.ParseSnippet
tff :: [(String, Type)] -> [(String, Function)] -> String -> NameM Form Source
cnf :: [(String, Type)] -> [(String, Function)] -> String -> NameM Form Source
form :: Parsec (UserState ParseState TokenStream) a -> [([Char], Type)] -> [(String, (:::) Name FunType)] -> [Char] -> NameM a Source
form' :: Parsec (UserState ParseState TokenStream) b -> [([Char], Type)] -> [(String, (:::) Name FunType)] -> [Char] -> Closed () -> Closed b Source