[Agda] Building utilities for Agda?

Darryl psygnisfive at yahoo.com
Wed Nov 14 17:12:24 CET 2012


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


More information about the Agda mailing list