[Agda] Emacs mode setup command failing.

[David Banas]

Hi all,

Does anyone know what I need to do, to fix this?

$ agda-mode.exe setup
agda-mode.exe: emacs: rawSystem: does not exist (No such file or directory)


Thanks,
-db
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200728/2ab25f43/attachment.html>