↑ Top


Relations on setoids

This is the Relations.Func module of the Agda Universal Algebra Library.

{-# OPTIONS --without-K --exact-split --safe #-}

module Relations.Func where

open import Relations.Func.Discrete public
open import Relations.Func.Quotients public


← Relations.Quotients Relations.Func.Discrete →