[Agda] A demonstration of Agda

Anthony de Almeida Lopes anthony.de.almeida.lopes at falsifiable.net
Tue Mar 20 16:53:24 CET 2012


Great talk. That helped me clarify what Agda is to a lot of other
programmers that never understand what I'm talking about :)
- Anthony

On Tue, Mar 20, 2012 at 4:25 PM, Alan Jeffrey <ajeffrey at bell-labs.com>wrote:

> Hi all,
>
> 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:
>
> Video: http://www.ethos-os.org/agda.**html<http://www.ethos-os.org/agda.html>
> Code: https://gist.github.com/**2004772 <https://gist.github.com/2004772>
>
> Best wishes,
>
> Alan.
>
> ______________________________**_________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/**mailman/listinfo/agda<https://lists.chalmers.se/mailman/listinfo/agda>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120320/54003f93/attachment.html


More information about the Agda mailing list