[Agda] introductory book
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)
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...
More information about the Agda