[Agda] Request of suggestion of learning material for Agda

Mario Castelán Castro marioxcc.MT at yandex.com
Wed Aug 30 18:26:25 CEST 2017


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>


More information about the Agda mailing list