@@ -23,8 +23,26 @@
2323+ Added `discriminate` and `construct` tactics to Pruviloj.
2424+ Added `IsSucc` type to `Prelude`, which proves that a `Nat` is a successor.
2525+ Added `Data.IOArray`, containing primitives for mutable arrays.
26−+ The operator `<|>` is now right-associative (it retains the same precedence).
27−+ Reworked operator fixity for `&&` and `||`, as well as the comparison operators: `==`, `/=`, `<`, `<=`, `>`, and `>=`.
26++ Reworked operator fixity for many operators.
27+ * Changed `&&` and `||` to be right-associative. Increased precedence of `&&`
28+ to be higher than that of `||`.
29+ * Removed associativity from Boolean comparison operators `==`, `/=`, `<`, `<=`,
30+ `>`, and `>=`. Increased precedence of `/=` and `==` to match the others.
31+ * Made `<|>`, `<$>`, and `.` right-associative.
32+ * Swapped precedence of `<|>` and `<*>` (and its related operators, `<*` and
33+ `*>`). Now `<|>` has a lower precedence.
34+ * Lowered the precedence of `>>=` to be below that of `<|>`.
35++ Added some useful string manipulation functions to `Data.String.Extra`.
36++ Added `Control.Delayed`, a module for conditionally making a type `Inf` or `Lazy`.
37++ Added `Data.Bool.Extra`, a module with properties of boolean operations.
38++ Moved core of `Text.Lexer` to `Text.Lexer.Core`. Added several new combinators
39+ and lexers to `Text.Lexer`.
40++ Moved core of `Text.Parser` to `Text.Parser.Core`. Added several new combinators
41+ to `Text.Parser`. Made the following changes.
42+ * Flipped argument order of `parse`.
43+ * Renamed `optional` to `option` and flip argument order.
44+ * Renamed `maybe` to `optional`.
45+ * Generalised many combinators to use an unknown `commit` flag where possible.
2846
2947## Tool Updates
3048+ Private functions are no longer visible in the REPL except for modules