@@ -15,7 +15,7 @@ respectively:
15Correspondingly, the following values are examples of inhabitants of
15Correspondingly, the following values are examples of inhabitants of
16those types:
16those types:
18−- ``42``, ``’a’``, ``Hello world!``, ``[2,3,4,5,6]``
18+- ``42``, ``’a’``, ``"Hello world!"``, ``[2,3,4,5,6]``
20In a language with *dependent types*, however, the distinction is less
20In a language with *dependent types*, however, the distinction is less
21clear. Dependent types allow types to “depend” on values — in other
21clear. Dependent types allow types to “depend” on values — in other