@@ -5,6 +5,8 @@ New in 0.9.10:
55 syntax.
66* Add 'quoteGoal x by p in e' which makes x equal to p applied to the goal
77 in the scope e
8+* Extend Effects package to cope with possibly failing operations, using
9+ "if_valid"
810* At the REPL, "it" now refers to the previous expression
911* Semantic colouring at the REPL. Turn this off with --nocolour.
1012* Some prettifying of error message