@@ -19,8 +19,8 @@ New in 0.9.10:
1919 actually infinite stream.
2020* Add '%reflection' option for functions, for compile-time operations on
2121 syntax.
22−* Add 'quoteGoal x by p in e' which makes x equal to p applied to the goal
23− in the scope e.
22+* Add expression form 'quoteGoal x by p in e' which applies p to the expected
23+ expression type and binds the result to x in the scope e.
2424* Performance improvements in Strings library.
2525* Library reorganisation, separated into prelude/ and base/.
2626