type-theories.agda

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

module type-theories where

open import type-theories.c-systems public
open import type-theories.dependent-type-theories public
open import type-theories.e-systems 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