Setoid.Congruences.Presented

Finitely presented congruences

This is the Setoid.Congruences.Presented module of the Agda Universal Algebra Library.

{-# OPTIONS --cubical-compatible --exact-split --safe #-}

module Setoid.Congruences.Presented where

open import Setoid.Congruences.Presented.Basic      public
open import Setoid.Congruences.Presented.Decidable  public