@@ -901,10 +901,10 @@ Records
902*Records* are data types which collect several values (the record's
902*Records* are data types which collect several values (the record's
903*fields*) together. Idris provides syntax for defining records and
903*fields*) together. Idris provides syntax for defining records and
904−*automatically generating field access and update functions*. Unlike
904+automatically generating field access and update functions. Unlike
905−*the syntax used for data structures, records in Idris follow a
905+the syntax used for data structures, records in Idris follow a
906−*different syntax to that seen with Haskell. For example, we can
906+different syntax to that seen with Haskell. For example, we can
907−*represent a person's name and age in a record:
907+represent a person's name and age in a record:
909.. code-block:: idris
909.. code-block:: idris