I am going through Type-Driven Development with Idris. I have just written the Hello World program and they tell you to boot up the Idris repl and run
:exec. When doing this, I am getting a couple errors. The full output can be found in this gist. I have tried doing this in a “normal” shell, as well as using
nix-shell -p 'idris'. I get the same error in both scenarios.
Would anyone be able to point me in a direction that could help me get Idris working on NixOS?