@@ -22,6 +22,7 @@ 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
26New in 0.9.9:
27New in 0.9.9:
27-------------
28-------------