jukebox-0.2.6: A first-order reasoning toolbox
Jukebox.TPTP.Lexer
scan :: String -> TokenStream Source
data Pos Source
Constructors
Instances
data Token Source
Fields
data Punct Source
data Defined Source
data Keyword Source
data TokenStream Source
data Contents Source