⚠️ Archived site. This is the pre-3.0 Agda Universal Algebra Library, preserved for reference. Its current home is agda-algebras.universalalgebra.org (as of July 2026).
------------------------------------------------------------------------ -- The Agda standard library -- -- Functions ------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Function where open import Function.Core public open import Function.Base public open import Function.Strict public open import Function.Definitions public open import Function.Structures public open import Function.Structures.Biased public open import Function.Bundles public