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