↑ Top


Types for Terms

This is 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.Properties
open import Terms.Operations
open import Terms.Func


← Homomorphisms.Func.HomomorphicImages Terms.Basic →