packages feed

liquid-base-4.14.0.0: Setup.hs

module Main where

import Language.Haskell.Liquid.Cabal (liquidHaskellMain)

main :: IO ()
main = liquidHaskellMain