[Agda] quotient types

[Nils Anders Danielsson]

On 2010-12-08 13:02, Ondrej Rypacek wrote:
> I end up writing something like
>
> _≈_ S x y
>
> all the time anyway. I'd like to write x ≈ y , but how to bring S (the
> setoid) into the context ?

open Setoid S

-- 
/NAD