git.iko.soy/Idris-dev
on master help sign in
Add quotes to "Hello world!"
43f0e82Daniël Heres
docs/tutorial/introduction.rst+1−1
compare with master
unifiedsplit
@@ -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:
17
17
18−- ``42``, ``’a’``, ``Hello world!``, ``[2,3,4,5,6]``
18+- ``42``, ``’a’``, ``"Hello world!"``, ``[2,3,4,5,6]``
19
19
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