idris-1.3.4: Functional Programming Language with Dependent Types
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell2010

Idris.Info

Description

 
Synopsis

Documentation

getIdrisUserDataDir :: IO FilePath #

Get the platform-specific, user-specific Idris dir

getIdrisInitScript :: IO FilePath #

Locate the platform-specific location for the init script