[Agda] curious

[Conor McBride]

Hi

On 12 Jun 2011, at 07:14, Danel Ahman wrote:
> You should also be able to find interesting details about  
> dependently typed programming from numerous Epigram papers (e.g. Why  
> Dependent Types Matter by Alternkirch and McBride). More details and  
> background can be found if the references from these papers are  
> followed.

As a matter of record, Why Dependent Types Matter is by
Altenkirch, McBride and McKinna.

Thanks for the recommendation

Conor