@@ -9,6 +9,9 @@ New in 0.9.13:
99* Removed javascript lib in favor of idris-hackers/iQuery
1010* Specify codegen for :compile REPL command (e.g. :compile javascript program.js)
1111* Remove :info REPL command, subsume and enhance its functionality in the :doc command
12+* New (first class) nested record update/access syntax:
13+ record { a->b->c = val } x -- sets field accessed by c (b (a x)) to val
14+ record { a->b->c } x -- accesses field, equivalent to c (b (a x))
1215
1316Internal changes
1417