[Agda] introductory book

Nils Anders Danielsson nad at chalmers.se
Sat Mar 23 11:40:41 CET 2013

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


More information about the Agda mailing list