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