↑ Top


Types for Computational Complexity

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

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

module Complexity where

open import Complexity.Basic
open import Complexity.CSP


← Structures.Sigma.Isos Complexity.Basic →