Le Sunday 12 Jun 2011 à 12:30:58 (+0100), Conor McBride a écrit :
> Hi
>
> As a matter of record, Why Dependent Types Matter is by
> Altenkirch, McBride and McKinna.
Not exactly Agda-related, but I find "Certified Programming With
Dependent Types" to be quite a good read.
http://adam.chlipala.net/cpdt/
--
Guillaume Yziquel