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