@@ -22,12 +22,15 @@ User visible changes:
22* Added System.Concurrency modules
22* Added System.Concurrency modules
23* Added 'postulate' declarations
23* Added 'postulate' declarations
24* Allow type annotations on 'let' tactic
24* Allow type annotations on 'let' tactic
25+* EXPERIMENTAL JavaScript generation, with --javascript option
26Internal changes:
27Internal changes:
28* Separate inlining methods at compile-time and run-time
29* Separate inlining methods at compile-time and run-time
29* Fixed nested parameters blocks
30* Fixed nested parameters blocks
30−* Improve efficiency of elaborator by only normalising when necessary
31+* Improve efficiency of elaborator by:
32+ - only normalising when necessary
33+ - reducing backtracking with resolving ambiguities
31* Better compilation of case trees
34* Better compilation of case trees
33New in 0.9.5:
36New in 0.9.5: