[Agda] introductory book
divipp at gmail.com
Sat Mar 23 17:02:48 CET 2013
On 23/03/2013 11:40, Nils Anders Danielsson wrote:
> On 2013-03-22 19:38, washington3 at countermail.com wrote:
>> Can you suggest an introductory book on Agda language?
>> I am proficient in C and Pascal.
> I think most Agda tutorials assume some familiarity with functional
> programming. You may want to start with, say, an introductory book on
The tutorial which does not need familiarity with functional programming is
(click on the first blue link)
Currently edited mostly by me.
More information about the Agda