liquidhaskell-0.6.0.0: Liquid Types for Haskell
Language.Haskell.Liquid.Prover.SMTInterface
makeContext :: FilePath -> [(Symbol, Sort)] -> IO Context Source
checkValid :: Context -> [Expr] -> Expr -> IO Bool Source
assert :: Context -> Expr -> IO () Source