idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-03 00:55:00 +03:00
Code Issues Projects Releases Wiki Activity

Remove reference to MonadIO from CHANGELOG

Browse Source
This commit is contained in:
Edwin Brady 2020-06-21 19:41:18 +01:00
parent dbdf7dab3d
commit 0316dfa417
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
CHANGELOG.md
View File

@ -22,7 +22,6 @@ Library changes:
* `IO` operations in the `prelude` and `base` libraries now use the
`HasIO` interface, rather than using `IO` directly.
+ Also, added a `MonadIO` interface for operations which require `(>>=)`.
* Experimental `Data.Linear.Array` added to `contrib`, support mutable linear
arrays with constant time read/write, convertible to immutable arrays with
constant time read.