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