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 _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev