Re: [Agda] Why does Data.Product have � for the type constructor?

Samuel Bronson naesten at gmail.com
Fri May 9 20:11:16 CEST 2008


On 5/9/08, Lennart Augustsson <lennart at augustsson.net> wrote:
> It might look baffling, but it's the right thing.

It's no less baffling if you just say that! There must be a reason for it...


More information about the Agda mailing list