@@ -3,6 +3,7 @@ New in 0.9.12:
4* Proof search now works for metavariables in types, giving some interactive
4* Proof search now works for metavariables in types, giving some interactive
5 type inference.
5 type inference.
6+* New 'Lazy' type, replacing laziness annotations.
7New in 0.9.11:
8New in 0.9.11:
8--------------
9--------------