Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
myparse :: String -> ParseOutput Source #
parseOldFormat :: String -> OldInputFile Source #
type OldInputFile = [Formula NomSymbol PropSymbol RelSymbol] Source #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
myparse :: String -> ParseOutput Source #
parseOldFormat :: String -> OldInputFile Source #
type OldInputFile = [Formula NomSymbol PropSymbol RelSymbol] Source #