@@ -54,6 +54,7 @@
54 * Generalised many combinators to use an unknown `commit` flag where possible.
54 * Generalised many combinators to use an unknown `commit` flag where possible.
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.
58## Tool Updates
59## Tool Updates