Thanks!<br><br><div class="gmail_quote">On Mon, Feb 13, 2012 at 7:20 PM, Nils Anders Danielsson <span dir="ltr"><<a href="mailto:nad@chalmers.se">nad@chalmers.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 2012-02-12 09:33, David Wahlstedt wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
This list of key sequences should be pointed to from the agda wiki<br>
somehow. It really helps!<br>
</blockquote>
<br></div>
You may want to have a look at<br>
<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Docs.UnicodeInput" target="_blank">http://wiki.portal.chalmers.<u></u>se/agda/pmwiki.php?n=Docs.<u></u>UnicodeInput</a>:<br>
<br>
"Type M-x agda-input-show-translations RET RET to see all the characters<br>
you can type using this input method (with some exceptions in certain<br>
versions of Emacs)."<span class="HOEnZb"><font color="#888888"><br>
<br>
-- <br>
/NAD<br>
</font></span></blockquote></div><br>