↑ Top


Overture

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

The source code for this module comprises the (literate) Agda program that was used to generate the html page displaying the sentence you are now reading. This source code inhabits the file Overture.lagda, which resides in the git repository of the agda-algebras library.

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

module Overture where

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


← Preface Overture.Preliminaries →