↑ Top


Equality

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

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

module Equality where

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


← Relations.Func.Quotients Equality.Welldefined →