@@ -4,6 +4,9 @@ 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.
6* New 'Lazy' type, replacing laziness annotations.
7+* JavaScript and Node codegen now understand the %include directive
8+* Concept up 'null' is now understood in the JavaScript and Node codegen
9+* Lots of performance patches for generated JavaScript
8New in 0.9.11:
11New in 0.9.11:
9--------------
12--------------