[Nix-dev] Stumped trying to build Idris with mtl_2_2_1

[Peter Simons]

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