@@ -55,6 +55,7 @@
55+ `Prelude.Doubles.atan2` is now implemented as a primitive instead of
55+ `Prelude.Doubles.atan2` is now implemented as a primitive instead of
56 being coded in Idris.
56 being coded in Idris.
57+ Added `Test.Unit` to `contrib` for simple unit testing.
57+ Added `Test.Unit` to `contrib` for simple unit testing.
58++ Removed several deprecated items from the libraries shipped with Idris.
59## Tool Updates
60## Tool Updates