[Agda] Agda without emacs?

Grigory Sarnitskiy sargrigory at ya.ru
Sat Aug 13 14:17:02 CEST 2011


Hello! It is said that agda's interpreter is deprecated and emacs mode should be used instead. However I have no experience with emacs (at least positive). Is there a tutorial or guide for using agda+emacs intended for noobs?

Or alternatives to emacs.


More information about the Agda mailing list