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