[Agda] Setoid for List

Nils Anders Danielsson nad at chalmers.se
Mon Jan 28 15:35:12 CET 2013

Previous message: [Agda] Setoid for List
Next message: [Agda] LICS 2013 - Second Call for Workshop Proposals
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2013-01-08 17:35, Serge D. Mechveliani wrote:
> why the standard library  lib-0.6  does not provide  Setoid and DecSetoid
> instances for  List ?
> (does it?)

See Relation.Binary.List.Pointwise.

-- 
/NAD

Previous message: [Agda] Setoid for List
Next message: [Agda] LICS 2013 - Second Call for Workshop Proposals
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list