@@ -1,5 +1,7 @@
11New in 0.9.19:
22--------------
3+* The Idris Reference manual has been fleshed out with content originally found
4+ on the GitHub wiki.
35* The Show class has been moved into Prelude.Show and augmented with the method
46 showPrec, which allows correct parenthesization of showed terms. This comes
57 with the type Prec of precedences and a few helper functions.
@@ -16,8 +18,8 @@ New in 0.9.18:
1618 tested sufficiently, and lack a maintainer)
1719 + Float has been renamed 'Double' (Float is defined in the Prelude for
1820 compatibility)
19− + Externally defined primitives and operations now supported with
20− '%extern' directive, allowing back ends to define their own special
21+ + Externally defined primitives and operations now supported with
22+ '%extern' directive, allowing back ends to define their own special
2123 purpose primitives
2224 + Ptr and ManagedPtr have been removed and replaced with external primitives
2325* Add %hint function annotation, which allows functions to be used as