hylolib-1.5.4: Tools for hybrid logics related programs

Safe Haskell	None
Language	Haskell2010

HyLo.InputFile.OldParser

Documentation

parse :: [(Token, FilePos)] -> [Formula NomSymbol PropSymbol RelSymbol] Source #