↑ Top


Terms on setoids

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

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

module Setoid.Terms where

open import Setoid.Terms.Basic
open import Setoid.Terms.Properties
open import Setoid.Terms.Operations


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