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. -- /NAD