↑ Top


Overture for Setoids

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

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

module Overture.Func where

open import Overture.Func.Preliminaries
open import Overture.Func.Inverses
open import Overture.Func.Injective
open import Overture.Func.Surjective
open import Overture.Func.Bijective


← Preface Overture.Func.Preliminaries →