This is the Base.Algebras module of the Agda Universal Algebra Library in which we use type theory and Agda to codify the most basic objects of universal algebra, such as *signatures*, *algebras*, *product algebras*, *congruence relations*, and *quotient algebras*.

{-# OPTIONS --without-K --exact-split --safe #-} module Base.Algebras where open import Base.Algebras.Basic open import Base.Algebras.Products open import Base.Algebras.Congruences