<html><body><div style="color:#000; background-color:#fff; font-family:arial, helvetica, sans-serif;font-size:10pt"><div><span>I'd like to experiment with alternative editors for Agda. Is there any way to interface with Agda without going through emacs?</span></div><div></div><div> </div><div>- Darryl McAdams</div></div></body></html>