<div dir="ltr">Is there was way to get agda --latex or agda --html to produce output even when there are holes in the source file?</div><div class="gmail_extra"><br clear="all"><div><div>-- Abhishek</div><a href="http://www.cs.cornell.edu/~aa755/" target="_blank">http://www.cs.cornell.edu/~aa755/</a></div>
<br><br><div class="gmail_quote">On Mon, Dec 2, 2013 at 5:52 AM, Nils Anders Danielsson <span dir="ltr"><<a href="mailto:nad@cse.gu.se" target="_blank">nad@cse.gu.se</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On 2013-12-01 22:33, Abhishek Anand wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
It appears that agda.sty needs the ucs package.<br>
I need biblatex to show citations as footnotes. I could't find any<br>
alternative to biblatex.<br>
I am not sure how to fix this issue.<br>
It would be great if emacs could export to latex whatever it is<br>
rendering. I couldn't find any way to do that. I tried using<br>
htmlfontify-buffer, but it replaced all special characters with "?".<br>
<br>
Any ideas about fixing this problem would be greatly appreciated.<br>
</blockquote>
<br></div>
I haven't used agda --latex in anger, but I can see that agda.sty<br>
doesn't use ucs if you use XeLaTeX (which supports UTF-8 out of the<br>
box).<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
/NAD<br>
</font></span></blockquote></div><br></div>