Globular types

Created on 2024-11-17.
Last modified on 2024-11-17.

{-# OPTIONS --guardedness #-}

Modules in the globular types namespace

module globular-types where

open import globular-types.dependent-globular-types public
open import globular-types.dependent-reflexive-globular-types public
open import globular-types.equality-globular-types public
open import globular-types.globular-equivalences public
open import globular-types.globular-maps public
open import globular-types.globular-types public
open import globular-types.large-globular-maps public
open import globular-types.large-globular-types public
open import globular-types.large-reflexive-globular-types public
open import globular-types.large-symmetric-globular-types public
open import globular-types.large-transitive-globular-types public
open import globular-types.reflexive-globular-types public
open import globular-types.symmetric-globular-types public
open import globular-types.transitive-globular-types public

Recent changes