add CHANGELOG entry for Language.JSON
commit27bf21389579d45e33749772002e9b6a7075b041
authorMichael Morgan <morgan.michael@me.com>
dateTue 5 Dec 2017, 12:51 (9 years ago)
parent5d52a94
CHANGELOG.md+1
@@ -40,6 +40,7 @@
4040+ Added `discriminate` and `construct` tactics to Pruviloj.
4141+ Added `IsSucc` type to `Prelude`, which proves that a `Nat` is a successor.
4242+ Added `Data.IOArray`, containing primitives for mutable arrays.
43++ Added `Language.JSON`, for total serialization/deserialization of JSON data.
4344+ Reworked operator fixity for many operators.
4445 * Changed `&&` and `||` to be right-associative. Increased precedence of `&&`
4546 to be higher than that of `||`.