@@ -16,6 +16,8 @@ New in 0.9.15:
16 This allows instances of Num that can't be negative, like Nat, and it makes correct
16 This allows instances of Num that can't be negative, like Nat, and it makes correct
17 IEEE Float operations easier to encode. Additionally, unary negation is now available
17 IEEE Float operations easier to encode. Additionally, unary negation is now available
18 to DSL authors.
18 to DSL authors.
19+* The Java and LLVM backends have been factored out for separate maintenance. Now, the
20+ compiler distribution only ships with the C and JavaScript backends.
20New in 0.9.14:
22New in 0.9.14:
21--------------
23--------------