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.