forked from idris-lang/Idris-dev
-
Notifications
You must be signed in to change notification settings - Fork 0
Installing Idris on NixOS
aycanirican edited this page Oct 15, 2014
·
2 revisions
Installing Idris on NixOS is relatively simple. Simply run:
nix-env -iA nixos.pkgs.haskellPackages.idris
In a terminal. Note that this package is not necessarily the most up to date version of Idris.
You may prefer to checkout nixpkgs from github and install the latest idris derivation. You can do it by simply running:
git checkout [email protected]:NixOS/nixpkgs.git \
&& cd nixpkgs \
&& nix-env -f . -iA haskellPackages.idris
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")