Update CHANGELOG and CONTRIBUTORS
commit59ea372e34f7cf7a3dedfa6d30aac0543bad6a5c
authorJoomy Korkut <joomy@cattheory.com>
dateFri 29 Sep 2017, 08:08 (9 years ago)
parent5916e62
CHANGELOG.md+1
@@ -11,6 +11,7 @@
1111
1212+ Added `Text.Literate`, a module for working with literate source files.
1313+ Added `Data.IORef`, for working with mutable references in `IO`.
14++ Added `discriminate` tactic to Pruviloj.
1415
1516## Tool Updates
1617+ Private functions are no longer visible in the REPL except for modules
CONTRIBUTORS+1
@@ -121,6 +121,7 @@ John Wiegley
121121Jon Atack
122122Jonas Westerlund
123123Jonathan Sterling
124+Joomy Korkut
124125Joseph Huang
125126Josh Vera
126127JP Smith