@@ -36,6 +36,10 @@ New in 0.9.18:
3636 "n". If "n" is lexically bound, then the resulting quotation will be for it,
3737 whereas if it is not, then it will succeed with a quotation of the unique
3838 global name that matches.
39+* New syntax for records that closely matches our other record-like structures:
40+ type classes. See the updated tutorial for details.
41+* Records can be coinductive. Define coinductive records with the "corecord"
42+ keyword.
3943* if ... then ... else ... is now built-in syntax instead of being defined in
4044 a library. It is shown in REPL output and error messages, rather than its
4145 desugaring.
@@ -77,8 +81,6 @@ New in 0.9.17:
7781* New REPL command ":core TM" that shows the elaborated form of TM along with
7882 its elaborated type using the syntax of TT. IDE mode has a corresponding
7983 command :elaborate-term for serialized terms.
80−* Records have a new syntax based on fields rather than constructors.
81−* Records can now be coinductive.
8284* Effectful and IO function names for sending data to STDOUT have been
8385 aligned, semantically.
8486 + `print` is now for putting showable things to STDOUT.