Idris via nix-shell

Write an .idr file:

hello.idr:

main : IO ();
main = putStrLn "Hello, world!";

Start a shell with the Idris Haskell package and GMP:

$ nix-shell -p haskellPackages.idris gmp

Compile and run the program:

$ idris hello.idr -o hello
$ ./hello
Hello, world!