idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 16:51:51 +03:00
Code Issues Projects Releases Wiki Activity

changelog

Browse Source
This commit is contained in:
Joel Berkeley 2024-07-13 22:59:51 +01:00
parent 0ed19f3630
commit 3a43c135c8
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
CHANGELOG_NEXT.md
View File

@ -198,6 +198,8 @@ This CHANGELOG describes the merged but unreleased changes. Please see [CHANGELO
* Quantity of the argument for the type being searched in the `search` function
from `Language.Reflection` was changed to be zero.
* Added `fromRight` and `fromLeft` for extracting values out of `Either`, equivalent to `fromJust` for `Just`.
#### Contrib
* `Data.List.Lazy` was moved from `contrib` to `base`.