[Nix-dev] Idris packages in nixpkgs

[Shea Levy]

Hi all,

I've just added [1] rudimentary support for building Idris packages and 
composing the packages with the compiler to nixpkgs. Details can be 
found in the idris-modules directory [2], including potential future 
work [3].

Idris's lack of any mechanism to have multiple library paths is 
something of a pain point here. If we could have multiple library paths 
in IDRIS_LIBRARY_PATH, this would be much nicer.

Cheers,
Shea

[1]: 
https://github.com/NixOS/nixpkgs/commit/f7c2cd33479ce2489e2b47a9a91e453aaf25a4d4
[2]: 
https://github.com/NixOS/nixpkgs/tree/f7c2cd33479ce2489e2b47a9a91e453aaf25a4d4/pkgs/development/idris-modules
[3]: 
https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/idris-modules/TODO.md