Write an .idr file:
hello.idr:
main : IO ();
= putStrLn "Hello, world!"; main
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!