@@ -4,10 +4,12 @@ New in 0.9.9:
44* Apply functions by return type, rather than with arguments:
55 "t <== f" means "apply f with arguments such that it returns a value
66 of type t"
7+* Allow the result type of a rewrite to be specified
78* Allow names to be attached to provisional definitions
89 lhs ?= {name} rhs -- generates a lemma called 'name' which makes the
910 types of the lhs and rhs match. {name} is optional - a unique name is
1011 generated if it is absent.
12+* Experimental LLVM backend
1113* Added Data.HVect module
1214* Fix fromInteger to take an Integer, rather than an Int
1315* Integer literals for Fin