Agda UALib ↑

---

Types for Terms

This chapter presents the Terms module of the Agda Universal Algebra Library. ∣ 𝑨 ∣

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

module Terms where

open import Terms.Basic
open import Terms.Operations

---

← Homomorphisms Terms.Basic →