[Agda] Request of suggestion of learning material for Agda

[Mario Castelán Castro]

Thanks everybody for the replies.

> Stump's book is like an easier version of Software Foundations, using
> Agda.  Since it is so expensive and SF is free, I recommend going through
> the latter and trying to solve the exercises in Agda.

I do not see how this approach would work because learning the
mathematical background is not enough, I also have to learn the syntax
and how to use the interface of the software. A book about a different
language will obviously not cover that for Agda.

-----
Regards.

-- 
Do not eat animals, respect them as you respect people.
https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170828/6e1fcda7/attachment.sig>