Great talk. That helped me clarify what Agda is to a lot of other programmers that never understand what I'm talking about :)<div>- Anthony<br><br><div class="gmail_quote">On Tue, Mar 20, 2012 at 4:25 PM, Alan Jeffrey <span dir="ltr"><<a href="mailto:ajeffrey@bell-labs.com">ajeffrey@bell-labs.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<br>
I gave a demonstration of Agda and its Emacs mode to undergraduates at UIC last week. If anyone's interested in seeing it, it's at:<br>
<br>
Video: <a href="http://www.ethos-os.org/agda.html" target="_blank">http://www.ethos-os.org/agda.<u></u>html</a><br>
Code: <a href="https://gist.github.com/2004772" target="_blank">https://gist.github.com/<u></u>2004772</a><br>
<br>
Best wishes,<br>
<br>
Alan.<br>
<br>
______________________________<u></u>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/<u></u>mailman/listinfo/agda</a><br>
</blockquote></div><br></div>