@@ -12,12 +12,14 @@ Library updates
12---------------
12---------------
14* The 'Neg' class now represents numeric types which can be negative. As
14* 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'.
16* A special version of (-) on 'Nat' requires that the second argument is
16* 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,
17+ smaller than or equal to the first. 'minus' retains the old behaviour,
18−returning Z if there is an underflow.
18+ returning Z if there is an underflow.
19* New Logging Effects have been added to facilitate logging of effectful
19* New Logging Effects have been added to facilitate logging of effectful
20 programmes.
20 programmes.
21+* Elaborator reflection is now a part of the prelude. It is no longer
22+ necessary to import Language.Reflection.Elab.
22Tool updates
24Tool updates
23------------
25------------