SAT-canonical-0.1.0.0

Safe HaskellSafe
LanguageHaskell2010

LogicParser

Documentation

parseFProp :: String -> Either ParseError FProp Source #