0

I am currently trying to download and use Idris for Atom and use it's editor. I downloaded Hackage and then installed idris on my computer from there and then installed the idris package on atom, and when ever I type in the program it highlights like Idris should, but when I type check it I am getting two errors, "Couldn't find idris executable: Couldn't find idris executable at "Idris"" and "The idris compiler was closed or crashed: It (probably) crashed with error code : -2".

picture of the error

Joshua Norris
  • 15
  • 1
  • 3

1 Answers1

1

As the readme for the plugin says, you need to set the "Idris location:" setting in the plugin config to the path where you have installed the Idris binary.

Hjulle
  • 2,471
  • 1
  • 22
  • 34