@@ -5,6 +5,8 @@ New in 0.9.10:
6* Add 'quoteGoal x by p in e' which makes x equal to p applied to the goal
6* Add 'quoteGoal x by p in e' which makes x equal to p applied to the goal
7 in the scope e
7 in the scope e
8+* Add !expr notation for implicit binding of intermediate results in monadic/do/etc
8* Extend Effects package to cope with possibly failing operations, using
10* Extend Effects package to cope with possibly failing operations, using
9 "if_valid"
11 "if_valid"
10* At the REPL, "it" now refers to the previous expression
12* At the REPL, "it" now refers to the previous expression