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