hylolib-1.4.0: Tools for hybrid logics related programs
HyLo.InputFile.OldParser
parse :: [(Token, FilePos)] -> [Formula NomSymbol PropSymbol RelSymbol]Source