Coincidentally I had started updating my Nix + Idris work just a few days ago:
https://github.com/idris-hackers/idrispkgs It's much less powerful than yours but has some prepackaged libraries, for example Lightyear and idris-config. I'd love to adapt these into idris-modules now. Where should they go? On 28 November 2015 at 06:27, Shea Levy <[email protected]> wrote: > 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 > > -- > You received this message because you are subscribed to the Google Groups > "Idris Programming Language" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. _______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
