@@ -22,7 +22,8 @@ Internal changes
22* Improved type class resolution
22* Improved type class resolution
23* Compiling Nat via GMP integers
23* Compiling Nat via GMP integers
24* Performance improvements in elaboration
24* Performance improvements in elaboration
25−* Machinery for case-splitting, to support interactive editing
25+* Various REPL commands to support interactive editing, and a client/server
26+ mode to allow external invocation of REPL commands.
27New in 0.9.9:
28New in 0.9.9:
28-------------
29-------------