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

Question

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

错误图片

Answer 1

正如插件的自述文件所说，您需要将插件配置中的"Idris位置：“设置为安装Idris二进制文件的路径。