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