[Agda] standard instance proposal

Serge D. Mechveliani mechvel at botik.ru
Fri Jan 11 09:33:12 CET 2013


On Fri, Jan 11, 2013 at 07:01:41AM +0800, Dr. ??RDI Gerg?? wrote:
> We already have a pointwise product setoid in the lib; see
> Relation.Binary.Product.Pointwise.
> 
> Gergo

This looks good. Thank you.

------
Sergei


More information about the Agda mailing list