@@ -5,10 +5,10 @@ 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
8+* Add !expr notation for implicit binding of intermediate results in
9+ monadic/do/etc expressions
1010* Extend Effects package to cope with possibly failing operations, using
11− "if_valid"
11+ "if_valid", "if_error", etc
1212* At the REPL, "it" now refers to the previous expression
1313* Semantic colouring at the REPL. Turn this off with --nocolour.
1414* Some prettifying of error message
@@ -18,6 +18,7 @@ New in 0.9.10:
1818Internal changes
1919
2020* New module/dependency tree checking
21+* New parser implementation with more precise errors
2122* Improved type class resolution
2223* Compiling Nat via GMP integers
2324* Performance improvements in elaboration