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

### Exercises

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

The exercise tree has one set at present, [Exercises.Complexity][]: exercises at
the border of universal algebra and computational complexity.

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

module Exercises where

open import Exercises.Complexity
```