---
layout: default
title : "Examples module"
date : "2022-18-06"
author: "the agda-algebras development team"
---

### Examples

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


```agda
{-# 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
```