Update CHANGELOG to reflect recent additions and fixes
commit7af449c5e7ffe5463f1d994f43a02b4755523c39
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateFri 28 Jun 2013, 15:30 (13 years ago)
parent031ffb4
CHANGELOG+16
@@ -1,3 +1,19 @@
1+New in 0.9.9:
2+-------------
3+
4+* Apply functions by return type, rather than with arguments:
5+ "t <== f" means "apply f with arguments such that it returns a value
6+ of type t"
7+* Added Data.HVect module
8+* Fix fromInteger to take an Integer, rather than an Int
9+* Integer literals for Fin
10+
11+Internal changes
12+
13+* Add annotation for unification traces
14+* Add 'mrefine' tactic for refining by matching against a type
15+* Type class resolution fixes
16+
117New in 0.9.8:
218-------------
319