@@ -1013,7 +1013,7 @@ name. For example, a pair type could be defined as follows:
1013Using the class record from the original introduction to records. The
1013Using the class record from the original introduction to records. The
1014size of the class can be restricted using a ``Vect`` and the size
1014size of the class can be restricted using a ``Vect`` and the size
1015promoted to the type level by parameterising the record with the size.
1015promoted to the type level by parameterising the record with the size.
1016−Foe example:
1016+For example:
1019.. code-block:: idris
1019.. code-block:: idris