tip-lib-0.2.2: tons of inductive problems - support library and tools
Tip.Parser
Description
Parses the TIP format
Synopsis
parse :: String -> Either String (Theory Id) Source
Parse, and get either an error or the string's theory
parseFile :: String -> IO (Either String (Theory Id)) Source
Parse from a file. If the string is empty or "-", then reads from stdin.
data Id Source
Identifiers from parsed Tip syntax
Instances
idPos :: Id -> Maybe (Int, Int) Source
A source position of the identifier, if available