Source code on Github
{-# OPTIONS --without-K #-}
module Class.Setoid where

open import Class.Setoid.Core public
open import Class.Setoid.Instances public
open import Class.Setoid.Dec public