[Agda] Agda without emacs?

Nils Anders Danielsson nad at chalmers.se
Mon Aug 15 00:30:29 CEST 2011


On 2011-08-13 14:17, Grigory Sarnitskiy wrote:
> Is there a tutorial or guide for using agda+emacs intended for noobs?

Quick guide to editing, type checking and compiling Agda code:

   http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.QuickGuideToEditingTypeCheckingAndCompilingAgdaCode

-- 
/NAD


More information about the Agda mailing list