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