idris-1.3.0: Functional Programming Language with Dependent Types

LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Info

Description

 

Synopsis

Documentation

getIdrisUserDataDir :: IO FilePath Source #

Get the platform-specific, user-specific Idris dir

getIdrisInitScript :: IO FilePath Source #

Locate the platform-specific location for the init script