@@ -54,6 +54,7 @@
5454 * Generalised many combinators to use an unknown `commit` flag where possible.
5555+ `Prelude.Doubles.atan2` is now implemented as a primitive instead of
5656 being coded in Idris.
57++ Added `Test.Unit` to `contrib` for simple unit testing.
5758
5859## Tool Updates
5960