@@ -12,12 +12,14 @@ Library updates
1212---------------
1313
1414* The 'Neg' class now represents numeric types which can be negative. As
15−such, the (-) operator and 'abs' have been moved there from 'Num'.
15+ such, the (-) operator and 'abs' have been moved there from 'Num'.
1616* A special version of (-) on 'Nat' requires that the second argument is
17−smaller than or equal to the first. 'minus' retains the old behaviour,
18−returning Z if there is an underflow.
17+ smaller than or equal to the first. 'minus' retains the old behaviour,
18+ returning Z if there is an underflow.
1919* New Logging Effects have been added to facilitate logging of effectful
2020 programmes.
21+* Elaborator reflection is now a part of the prelude. It is no longer
22+ necessary to import Language.Reflection.Elab.
2123
2224Tool updates
2325------------