Мой плагин Idris для Atom говорит, что не может найти мой исполняемый файл idris и что мне нужно ввести путь поиска исполняемого файла, что я и сделал. Вот изображение сообщения об ошибке:
также есть аналогичный вопрос, размещенный в stackoverflow Idris в редакторе атомов, ошибка «Не удалось найти исполняемый файл Idris» , но это не ответило на мой вопрос.
Заранее спасибо за помощь!