[Agda] quotient types

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Tue Nov 30 17:58:13 CET 2010


On 2010-11-30 13:07, Ondrej Rypacek wrote:
> What is the best way to approximate quotients in Agda?

One option is to use setoids. The standard library uses setoids quite a
lot.

-- 
/NAD


More information about the Agda mailing list