Documentation

type InputFile = [Formula NomSymbol PropSymbol RelSymbol] Source #

parse :: String -> InputFile Source #

myparse :: String -> ParseOutput Source #

write :: (Show n, Show p, Show r) => [Formula n p r] -> String Source #

parseOldFormat :: String -> OldInputFile Source #

type OldInputFile = [Formula NomSymbol PropSymbol RelSymbol] Source #