liquidhaskell-0.8.6.0: src/Liquid.hs
import Language.Haskell.Liquid.Liquid (liquid) import System.Environment (getArgs) -- import GhcTest main :: IO a main = liquid =<< getArgs
import Language.Haskell.Liquid.Liquid (liquid) import System.Environment (getArgs) -- import GhcTest main :: IO a main = liquid =<< getArgs