git.iko.soy/Idris-dev
on master help sign in
included JS_IO in IORef changelog
b86a298Rui Barreiro
CHANGELOG.md+1−1
compare with master
unifiedsplit
@@ -10,7 +10,7 @@
10## Library Updates
10## Library Updates
11
11
12+ Added `Text.Literate`, a module for working with literate source files.
12+ Added `Text.Literate`, a module for working with literate source files.
13−+ Added `Data.IORef`, for working with mutable references in `IO`.
13++ Added `Data.IORef`, for working with mutable references in `IO` and `JS_IO`.
14
14
15## Tool Updates
15## Tool Updates
16+ Private functions are no longer visible in the REPL except for modules
16+ Private functions are no longer visible in the REPL except for modules