add CHANGELOG entry for IsSucc
commit7b9be7edf47aaad0c2d697507a5aef4204d336c4
authorMichael Morgan <morgan.michael@me.com>
dateSun 8 Oct 2017, 10:21 (9 years ago)
parent42783ae
CHANGELOG.md+1
@@ -14,6 +14,7 @@
1414+ Added `Text.Literate`, a module for working with literate source files.
1515+ Added `Data.IORef`, for working with mutable references in `IO` and `JS_IO`.
1616+ Added `discriminate` and `construct` tactics to Pruviloj.
17++ Added `IsSucc` type to `Prelude`, which proves that a `Nat` is a successor.
1718
1819## Tool Updates
1920+ Private functions are no longer visible in the REPL except for modules