[Agda] introductory book

[Darryl McAdams]

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:

http://www.cse.chalmers.se/~peterd/papers/DependentTypesAtWork.pdf


http://www.cse.chalmers.se/~ulfn/papers/afp08/tutorial.pdf


also try some of conor mcbride's lectures:

http://www.youtube.com/playlist?list=PL44F162A8B8CB7C87


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
https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130323/0137b15b/attachment.html