List of type-theory notes:

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