[Agda] literate Agda with unicode in latex

[Nils Anders Danielsson]

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