path: root/src/Data/Setoid/Indexed.idr

||| An indexed setoid is a type family equipped with a homogeneous equivalence relation
module Data.Setoid.Indexed

import public Data.Setoid.Indexed.Definition