[Agda] introductory book

washington3 at countermail.com washington3 at countermail.com
Fri Mar 22 19:38:57 CET 2013

Previous message: [Agda] Oregon Programming Languages Summer School - call for participation
Next message: [Agda] introductory book
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Can you suggest an introductory book on Agda language?
I am proficient in C and Pascal.

Previous message: [Agda] Oregon Programming Languages Summer School - call for participation
Next message: [Agda] introductory book
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list