Base.Terms module (The Agda Universal Algebra Library)

Types for Terms

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

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

module Base.Terms where

open import Base.Terms.Basic
open import Base.Terms.Properties
open import Base.Terms.Operations

← Base.Homomorphisms.HomomorphicImages Base.Terms.Basic →