Dear Shea, dear Peter, thank you for these details. I've seen the discussions on haskellng, so far I had been dissuaded from using it by the fact that my machine tries to compile everything from source (including ghc) and doesn't have enough free space to do so... I'll take another stab and come back when I can't figure out what's going on ;)
many thanks Paul On Tue, Jan 13, 2015 at 3:25 PM, Peter Simons <[email protected]> wrote: > Hi guys, > > after commmit [1], you can install Idris by running: > > nix-env -iA haskellngPackages.idris > > The option "--option extra-binary-caches http://hydra.cryp.to"; might > safe some build time. > > I hope this helps, > Peter > > > [1] > https://github.com/NixOS/nixpkgs/commit/51b9c9b262a85e2658303d8706f56fa16fab04db > > _______________________________________________ > nix-dev mailing list > [email protected] > http://lists.science.uu.nl/mailman/listinfo/nix-dev >
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
