[Agda] introductory book

Darryl McAdams psygnisfive at yahoo.com
Sat Mar 23 09:22:07 CET 2013

I don't believe there's any books about Agda yet, but there are a number of really good tutorials on the wiki.

I would suggest starting with these:



also try some of conor mcbride's lectures:


https://www.cs.uoregon.edu/research/summerschool/summer10/curriculum.html (search for conor's name)

- darryl

 From: "washington3 at countermail.com" <washington3 at countermail.com>
To: agda at lists.chalmers.se 
Sent: Friday, March 22, 2013 2:38 PM
Subject: [Agda] introductory book 

Can you suggest an introductory book on Agda language?
I am proficient in C and Pascal.

Agda mailing list
Agda at lists.chalmers.se
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130323/0137b15b/attachment.html

More information about the Agda mailing list