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

Samuel Bronson naesten at gmail.com
Fri May 9 15:51:23 CEST 2008

Previous message: [Agda] problem with C-c | (show context) in 2.1.3
Next message: Re: [Agda] Why does Data.Product have � for the type constructor?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Why does Data.Product have $B-t(B for the type constructor? Wouldn't $B&0(B be
more appropriate? I guess that might have other connotations,
though... still, $B-t(B???

Previous message: [Agda] problem with C-c | (show context) in 2.1.3
Next message: Re: [Agda] Why does Data.Product have � for the type constructor?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list