↑ Top


Equality

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

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

module Base.Equality where

open import Base.Equality.Welldefined public
open import Base.Equality.Truncation public
open import Base.Equality.Extensionality public


← Base.Relations.Quotients Base.Equality.Welldefined →