Merge pull request #2690 from justjoheinz/patch-1
Fix typo
commit97d9240522b2669d5f1b2bef8ce01d50877fb50b
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateSat 3 Oct 2015, 16:18 (11 years ago)
parenta79463e3326969
docs/tutorial/typesfuns.rst+1−1
@@ -1013,7 +1013,7 @@ name. For example, a pair type could be defined as follows:
10131013Using the class record from the original introduction to records. The
10141014size of the class can be restricted using a ``Vect`` and the size
10151015promoted to the type level by parameterising the record with the size.
1016−Foe example:
1016+For example:
10171017
10181018
10191019.. code-block:: idris