@@ -40,6 +40,7 @@
40+ Added `discriminate` and `construct` tactics to Pruviloj.
40+ Added `discriminate` and `construct` tactics to Pruviloj.
41+ Added `IsSucc` type to `Prelude`, which proves that a `Nat` is a successor.
41+ Added `IsSucc` type to `Prelude`, which proves that a `Nat` is a successor.
42+ Added `Data.IOArray`, containing primitives for mutable arrays.
42+ Added `Data.IOArray`, containing primitives for mutable arrays.
43++ Added `Language.JSON`, for total serialization/deserialization of JSON data.
43+ Reworked operator fixity for many operators.
44+ Reworked operator fixity for many operators.
44 * Changed `&&` and `||` to be right-associative. Increased precedence of `&&`
45 * Changed `&&` and `||` to be right-associative. Increased precedence of `&&`
45 to be higher than that of `||`.
46 to be higher than that of `||`.