On 2011-06-16 15:16, Martin Escardo wrote: > The instructions at > > http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.LiterateAgda > > didn't quite work for me. Can you please update the instructions? Perhaps you could include your template file. -- /NAD