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

Forgot CHANGELOG again...

Browse Source
This commit is contained in:
Edwin Brady 2015-04-03 11:52:35 +01:00
parent 5d269e39d1
commit 263510c2a9
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGELOG
View File

@ -27,6 +27,7 @@ New in 0.9.18:
* The default Semigroup and Monoid instances for Maybe are now prioritised
choice, keeping the first success as Alternative does. The version that
collects successes is now a named instance.
* :exec REPL command now takes an optional expression to compile and run/show
New in 0.9.17:
--------------