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