Fix typo
commit332696937b2908ef5c7f863eff3504a8b5e5e06c
authorMarkus Klink <justjoheinz@gmail.com>
dateFri 2 Oct 2015, 23:18 (11 years ago)
parenta79463e
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