liquid-vector-0.12.1.2: Setup.hs
module Main where import Language.Haskell.Liquid.Cabal (liquidHaskellMain) main :: IO () main = liquidHaskellMain
module Main where import Language.Haskell.Liquid.Cabal (liquidHaskellMain) main :: IO () main = liquidHaskellMain