<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">&lt;<a href="mailto:nad@cse.gu.se" target="_blank">nad@cse.gu.se</a>&gt;</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&#39;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&#39;t find any way to do that. I tried using<br>
htmlfontify-buffer, but it replaced all special characters with &quot;?&quot;.<br>
<br>
Any ideas about fixing this problem would be greatly appreciated.<br>
</blockquote>
<br></div>
I haven&#39;t used agda --latex in anger, but I can see that agda.sty<br>
doesn&#39;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>