Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Documentation
parseFormula :: [Token] -> Error Formula Source
parseTheorem :: [Token] -> Error Theorem Source
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
parseFormula :: [Token] -> Error Formula Source
parseTheorem :: [Token] -> Error Theorem Source