[Agda] Request of suggestion of learning material for Agda

[Mario Castelán Castro]

On 28/08/17 15:24, Martin Escardo wrote:
> "Dependent types at work" by Bove and Dybjer is an excellent starting
> point.
> 
> http://www.cse.chalmers.se/~peterd/papers/DependentTypesAtWork.pdf

Thanks you.

-- 
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/20170830/d10f6372/attachment.sig>