@@ -8,6 +8,7 @@ New in 0.9.14:
8* Allow dependent function syntax to be overridden in dsl blocks, similarly to
8* Allow dependent function syntax to be overridden in dsl blocks, similarly to
9 functions and let. The keyword for this is "pi".
9 functions and let. The keyword for this is "pi".
10* Experimental 'neweffects' library, with simplified API
10* Experimental 'neweffects' library, with simplified API
11+* All new JavaScript backend (avoids callstack overflows)
12New in 0.9.13:
13New in 0.9.13:
13--------------
14--------------