git.iko.soy/Idris-dev
on master help sign in
Update introduction.rst
ebf07d2Sven Koschnicke
docs/effects/introduction.rst+1−1
compare with master
unifiedsplit
@@ -16,7 +16,7 @@ exceptions, and verified resource management.
16
16
17This tutorial assumes familiarity with pure programming in Idris,
17This tutorial assumes familiarity with pure programming in Idris,
18as described in Sections 1–6 of the main tutorial [1]_. The examples
18as described in Sections 1–6 of the main tutorial [1]_. The examples
19−are presented are tested with Idris and can be found in the
19+presented are tested with Idris and can be found in the
20examples directory of the Idris repository.
20examples directory of the Idris repository.
21
21
22Consider, for example, the following introductory function which
22Consider, for example, the following introductory function which