Use package-pinned-packages on Emacs 24.4
Search for Idris interpreter on NixOS