[Agda] Writing a paper in Literate Agda

Nils Anders Danielsson nad at cse.gu.se
Mon Dec 2 11:52:08 CET 2013

On 2013-12-01 22:33, Abhishek Anand wrote:
> It appears that agda.sty needs the ucs package.
> I need biblatex to show citations as footnotes. I could't find any
> alternative to biblatex.
> I am not sure how to fix this issue.
> It would be great if emacs could export to latex whatever it is
> rendering. I couldn't find any way to do that. I tried using
> htmlfontify-buffer, but it replaced all special characters with "?".
> Any ideas about fixing this problem would be greatly appreciated.

I haven't used agda --latex in anger, but I can see that agda.sty
doesn't use ucs if you use XeLaTeX (which supports UTF-8 out of the


More information about the Agda mailing list