I'd like to experiment with alternative editors for Agda. Is there any way to interface with Agda without going through emacs? - Darryl McAdams -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.chalmers.se/pipermail/agda/attachments/20121114/38b7ac65/attachment.html