@@ -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+* Add !expr notation for implicit binding of intermediate results in monadic/do/etc
9+ expressions
810* Extend Effects package to cope with possibly failing operations, using
911 "if_valid"
1012* At the REPL, "it" now refers to the previous expression