[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.


More information about the Agda mailing list