↑ Top


Terms on setoids

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

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

module Terms.Func where

open import Terms.Func.Basic
open import Terms.Func.Properties
open import Terms.Func.Operations


← Terms.Operations Terms.Func.Basic →