Examples

Examples

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

{-# OPTIONS --cubical-compatible --exact-split --safe #-}

module Examples where

open import Examples.Classical
open import Examples.FunctionTypeBijections
open import Examples.PolynomialFunctors
open import Examples.Setoid
open import Examples.Structures