@@ -43,6 +43,8 @@
43 * Renamed `optional` to `option` and flip argument order.
43 * Renamed `optional` to `option` and flip argument order.
44 * Renamed `maybe` to `optional`.
44 * Renamed `maybe` to `optional`.
45 * Generalised many combinators to use an unknown `commit` flag where possible.
45 * Generalised many combinators to use an unknown `commit` flag where possible.
46++ `Prelude.Doubles.atan2` is now implemented as a primitive instead of
47+ being coded in Idris.
47## Tool Updates
49## Tool Updates