@@ -21,6 +21,7 @@ New in 0.9.12:
21 of proof automation. Use ":set autosolve" and ":unset autosolve".
21 of proof automation. Use ":set autosolve" and ":unset autosolve".
22* Updated 'effects' library
22* Updated 'effects' library
23* New :apropos command at REPL to search documentation, names, and types
23* New :apropos command at REPL to search documentation, names, and types
24+* Unification errors are now slightly more informative
25New in 0.9.11:
26New in 0.9.11:
26--------------
27--------------