@@ -1,3 +1,9 @@
3+* Syntax rules no longer perform variable capture. Users of effects will
4+ need to explicitly name results in dependent effect signatures instead
5+ of using the default name "result".
1New in 0.9.17:
7New in 0.9.17:
2--------------
8--------------
3* The --ideslave command line option has been replaced with a --ide-mode
9* The --ideslave command line option has been replaced with a --ide-mode