@@ -71,7 +71,7 @@ New in 0.9.17:
7171* New REPL command ":core TM" that shows the elaborated form of TM along with
7272 its elaborated type using the syntax of TT. IDE mode has a corresponding
7373 command :elaborate-term for serialized terms.
74−* Records has a new syntax based on fields rather than constructors.
74+* Records have a new syntax based on fields rather than constructors.
7575* Records can now be coinductive.
7676* Effectful and IO function names for sending data to STDOUT have been
7777 aligned, semantically.