Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Folly.Parser
Documentation
parseFormula :: [Token] -> Error Formula Source
parseTheorem :: [Token] -> Error Theorem Source
Folly-0.2.0.1: A first order logic library in Haskell
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Folly.Parser
parseFormula :: [Token] -> Error Formula Source
parseTheorem :: [Token] -> Error Theorem Source