[Agda] introductory book

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

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 mailing list