[Agda] A demonstration of Agda

Alan Jeffrey ajeffrey at bell-labs.com
Tue Mar 20 16:25:41 CET 2012

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
Code: https://gist.github.com/2004772

Best wishes,


More information about the Agda mailing list