List of type-theory notes:

• Logic and type theory
• Product type
• Families and dependent types
• Dependent pair type
• Universes of types
• Type theory