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

Correct note in CHANGELOG

Browse Source
This commit is contained in:
Edwin Brady 2020-06-20 12:55:42 +01:00
parent d18aac7afd
commit f9318cf477
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
CHANGELOG.md
View File

@ -26,9 +26,9 @@ Library changes:
+ Anything in `Data.Linear` in `contrib`, just like the rest of `contrib`,
should be considered experimental with the API able to change at any time!
Further experiments in `Data.Linear` are welcome :).
* Added `Data.ST`, for update in-place via `STRef` (which is like `IORef`, but
can escape from `IO`). Also added `Data.Ref` which provides an interface to
both `IORef` and `STRef`.
* Added `Control.Monad.ST`, for update in-place via `STRef` (which is like
`IORef`, but can escape from `IO`). Also added `Data.Ref` which provides an
interface to both `IORef` and `STRef`.
Changes since Idris 2 v0.1.0
----------------------------