Type theories
Content created by Fredrik Bakke, Egbert Rijke and Jonathan Prieto-Cubides.
Created on 2022-04-14.
Last modified on 2023-05-06.
{-# 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
Recent changes
- 2023-05-06. Egbert Rijke. Collecting some easily defined precategories (#598).
- 2023-03-12. Fredrik Bakke and Jonathan Prieto-Cubides. Generate module indexes (#501).
- 2023-03-06. Fredrik Bakke. Remove redundant whitespace in headers (#486).
- 2023-02-13. Jonathan Prieto-Cubides. Nueva era (#445).
- 2023-02-05. Fredrik Bakke. remove redundant pragmas.