@@ -4,6 +4,9 @@ New in 0.9.12:
44* Proof search now works for metavariables in types, giving some interactive
55 type inference.
66* 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
710
811New in 0.9.11:
912--------------