↑ Top

---

Terms on setoids

This is the Setoid.Terms module of the Agda Universal Algebra Library.

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

open import Overture using (𝓞 ; 𝓥 ; Signature)

module Setoid.Terms {𝑆 : Signature 𝓞 𝓥} where

open import Setoid.Terms.Basic       {𝑆 = 𝑆} public
open import Setoid.Terms.Properties  {𝑆 = 𝑆} public
open import Setoid.Terms.Operations  {𝑆 = 𝑆} public

---

← Setoid.Homomorphisms.HomomorphicImages Setoid.Terms.Basic →