License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.ModeCommon
Description
Documentation
loadInputs :: [FilePath] -> Maybe Int -> Idris [FilePath] #
License | BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Idris.ModeCommon
Description
loadInputs :: [FilePath] -> Maybe Int -> Idris [FilePath] #