liquid-prelude-0.8.10.1: Setup.hs

module Main where

import Language.Haskell.Liquid.Cabal (liquidHaskellMain)

main :: IO ()
main = liquidHaskellMain