Type theories

{-# OPTIONS --guardedness #-}

Files in the type theories folder

module type-theories where

open import type-theories.comprehension-type-theories public
open import type-theories.dependent-type-theories public
open import type-theories.fibered-dependent-type-theories public
open import type-theories.sections-dependent-type-theories public
open import type-theories.simple-type-theories public
open import type-theories.unityped-type-theories public