liquidtypes-0.1: Liquid Types for Haskell

Safe HaskellSafe-Infered

Language.Haskell.Liquid.CmdLine

Documentation

getOpts :: IO ([FilePath], [FilePath])Source