Legacy.Base.Complexity

Types for Computational Complexity

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

Deprecated. Canonical home is now Setoid.Complexity, ported under #307 (M2-7c). The legacy modules in this subtree remain in Legacy.Base.Complexity.* for one minor cycle to support downstream migration; they will be removed in v3.1. See src/Legacy/Base/DEPRECATED.md for the migration guidance.

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

module Legacy.Base.Complexity where

open import Legacy.Base.Complexity.Basic  public
open import Legacy.Base.Complexity.CSP    public