Exercises

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.

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

module Exercises where

open import Exercises.Complexity