ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-15 01:25:05 +03:00
Code Issues Projects Releases Wiki Activity

Mention syntax variable capture in CHANGELOG

Browse Source
This commit is contained in:
David Raymond Christiansen 2015-03-22 10:52:18 +01:00
parent 14b702511f
commit 91acb3a5a9
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
CHANGELOG
View File

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