[Agda] Classical Mathematics for a Constructive World

[Peter Divianszky]

Hi,

I have advertised Agda, I presented the attached slides for approx. 30 
mathematicians in Debrecen, Hungary, 20 of them were students.
One of my students in Budapest translated the slides to English so I can 
present them to you.

Your answers for my questions in this mailing list helped me a lot too, 
thank you very much.

(I hope I didn't claim any false statement about Agda, please tell me if 
you find so.)

Cheers,
Peter
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Agda.pdf
Type: application/pdf
Size: 208833 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20121217/c648948d/Agda-0001.pdf