Developing Idris with Nix

December 12, 2016

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!

References