原子编辑器中的Idris，“找不到Idris可执行文件”错误

Question

我目前正在尝试下载并使用Idris for Atom并使用它的编辑器。我下载了Hackage，然后从那里在我的计算机上安装了idris，然后在atom上安装了idris包，当我输入程序时，它突出显示像Idris应该，但是当我输入检查它时，我收到两个错误，“不能”找到idris可执行文件：找不到idris可执行文件“Idris”“和”idris编译器已关闭或崩溃：它（可能）崩溃，错误代码：-2“。

picture of the error

Answer 1

正如插件的readme所示，您需要设置＆＃34; Idris位置：＆＃34;将插件配置设置为已安装Idris二进制文件的路径。