[Agda] introductory book

[Peter Divianszky]

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
> Haskell.

The tutorial which does not need familiarity with functional programming is
http://hub.darcs.net/divip/AgdaTutorial
(click on the first blue link)

Currently edited mostly by me.

Cheers,

Peter