forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 0
Installation Instructions
Niklas Larsson edited this page Feb 23, 2015
·
1 revision
The page collates the various instructions for installing Idris on Platform X. If you system is not in the list below please consider creating a page and linking to it here.
For those who like to keep with the latest upstream development for Idris, instructions for deploying Idris HEAD in a cabal sandbox are available.
Note If you find that Idris takes a long time to install please consider checking your cabal config. Users have reported that asking cabal to generate all documentation will impact build times.
New Foreign Function Interface
Tool Support
Community
- Mini Projects, for those interested in contributing
- Libraries, available elsewhere
- Idris Developer Meetings
- Tutorial: Type Providers and Foreign Functions
- The Zen of Idris
- Profiling
Feature proposals ("dragon eggs")