@@ -16,7 +16,7 @@ exceptions, and verified resource management.
1616
1717This tutorial assumes familiarity with pure programming in Idris,
1818as 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
2020examples directory of the Idris repository.
2121
2222Consider, for example, the following introductory function which