git.iko.soy/Idris-dev
on master help sign in
Update CHANGELOG and CONTRIBUTORS
59ea372Joomy Korkut
CHANGELOG.md+1
compare with master
unifiedsplit
@@ -11,6 +11,7 @@
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`.
14++ Added `discriminate` tactic to Pruviloj.
14
15
15## Tool Updates
16## Tool Updates
16+ Private functions are no longer visible in the REPL except for modules
17+ Private functions are no longer visible in the REPL except for modules
CONTRIBUTORS+1
@@ -121,6 +121,7 @@ John Wiegley
121Jon Atack
121Jon Atack
122Jonas Westerlund
122Jonas Westerlund
123Jonathan Sterling
123Jonathan Sterling
124+Joomy Korkut
124Joseph Huang
125Joseph Huang
125Josh Vera
126Josh Vera
126JP Smith
127JP Smith