I’m a user of almost zero computer literacy trying to use Atom on the Idris language. This is the package I have successfully downloaded: https://github.com/idris-hackers/atom-language-idris
As indicated on this page, it should be usable after “setting the path to the idris executable.” There is a field under “Settings” for the package called “Idris location: Location of the Idris executable (ex. usr/local/bin/idris).” I have entered there “~/.local/bin/idris”, which is exactly what I type to launch the Idris REPL in my terminal. But when I try to work with an .idr file, Atom tells me:
couldn’t find Idris executable at “~/.local/bin/idris”
There is no sign on the GitHub page that things have been malfunctioning so dramatically for other users. What is going on with me?