---
layout: default
title : "Examples.Demos module"
date : "2022-04-27"
author: "the agda-algebras development team"
---

## Demos of the Agda Algebras Library


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

module Examples.Demos where

open import Examples.Demos.GeneralOperationsAndRelations
open import Examples.Demos.HSP
open import Examples.Demos.ContraX
```