Merge pull request #4244 from msmorgan/json-changelog
add CHANGELOG entry for Language.JSON
commit3c1a983e55fc1861e6b6db9af70a03da8b0ea61e
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateTue 5 Dec 2017, 20:06 (9 years ago)
parent5d52a9427bf213
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 `||`.