This is an old revision of the document!

Type

Meta

the universe of Types (sometimes kinds)
depended on the type theory, might keep this one informal, or make it a type itself.

Parents

Type theory

Link to graph
Log In
Improvements of the human condition
limeGraphxioms