Complex sentence: An example is the type of n-tuples of real numbers, which we may denote as\\ mbox (n), this is a dependent type because the type "depends" on the value n:.
Split into simpler sentences: An example is the type of n-tuples of real numbers, which we may denote as\\ mbox (n). This is a dependent type because the type "depends" on the value n:.