标签： plugins atom-editor idris
我的Atom Idris插件说它找不到我的idris可执行文件，我需要输入该可执行文件的搜索路径。这是错误消息的图片：
另外，在stackoverflow Idris in atom editor, "Couldn't find Idris executable" error上也发布了类似的问题，但是没有回答我的问题。
预先感谢您的帮助！