liquidhaskell-0.8.10.1: exe/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