Type Family

Links to this page:

  1. Π-types (Dependent function types)
  2. Σ-types (Dependent pair types)
Built with LogoFlowershow