idris-1.0: Functional Programming Language with Dependent Types

Copyright2016 The Idris Community
LicenseBSD3
MaintainerThe Idris Community.
Safe HaskellNone
LanguageHaskell98

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