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
