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