idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-19 09:17:29 +03:00
Code Issues Projects Releases Wiki Activity

[ re #3171 ] Correct mistakenly forgotten to be updated changelog

Browse Source
This commit is contained in:
Denis Buzdalov 2023-12-30 02:19:49 +03:00 committed by Mathew Polzin
parent 3fe95d469a
commit 2f2102c413
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CHANGELOG.md
View File

@ -14,6 +14,8 @@
* `Data.List.Lazy` was moved from `contrib` to `base`.
* Added an `Interpolation` implementation for primitive decimal numeric types and `Nat`.
#### Contrib
* `Data.List.Lazy` was moved from `contrib` to `base`.
@ -270,8 +272,6 @@
* `Ref` interface from `Data.Ref` inherits `Monad` and was extended by a function
for value modification implemented through reading and writing by default.
* Added an `Interpolation` implementation for primitive decimal numeric types and `Nat`.
#### System
* Changes `getNProcessors` to return the number of online processors rather than