[Agda] Data.Setoid ?

Jacques Carette carette at mcmaster.ca
Thu Nov 22 20:17:01 CET 2012

Previous message: [Agda] ITP 2013: Call for workshop proposals
Next message: [Agda] Data.Setoid ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Does anyone have a definition of setoid equivalence?  I mean equivalence 
between two setoids (over the same carrier set) ?

Jacques

Previous message: [Agda] ITP 2013: Call for workshop proposals
Next message: [Agda] Data.Setoid ?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list