问题
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
回答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.
来源:https://stackoverflow.com/questions/49244904/idris-in-atom-editor-couldnt-find-idris-executable-error