Idris.ModeCommon
Description
banner :: [Char] #
defaultPort :: PortNumber #
loadInputs :: [FilePath] -> Maybe Int -> Idris [FilePath] #
warranty :: [Char] #