[Agda] forall in parameters for data

Nils Anders Danielsson nils.anders.danielsson at gmail.com
Tue Jun 10 17:23:53 CEST 2008


On Tue, Jun 10, 2008 at 3:49 PM, Nils Anders Danielsson
<nils.anders.danielsson at gmail.com> wrote:
>
> And it would probably take you fifteen minutes to implement.

In fact it took me about fifteen minutes to implement. Ulf will soon
get a patch.

-- 
/NAD


More information about the Agda mailing list