@@ -9,6 +9,9 @@ New in 0.9.13:
9* Removed javascript lib in favor of idris-hackers/iQuery
9* Removed javascript lib in favor of idris-hackers/iQuery
10* Specify codegen for :compile REPL command (e.g. :compile javascript program.js)
10* Specify codegen for :compile REPL command (e.g. :compile javascript program.js)
11* Remove :info REPL command, subsume and enhance its functionality in the :doc command
11* 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))
13Internal changes
16Internal changes