idris-1.0: Functional Programming Language with Dependent Types
Idris.ModeCommon
Description
defaultPort :: PortNumber #
loadInputs :: [FilePath] -> Maybe Int -> Idris [FilePath] #
banner :: [Char] #
warranty :: [Char] #