@@ -1,6 +1,8 @@
11New in 0.9.10:
22--------------
33
4+* Type classes now implemented as dependent records, meaning that method
5+ types may now depend on earlier methods.
46* Add '%reflection' option for functions, for compile-time operations on
57 syntax.
68* Add 'quoteGoal x by p in e' which makes x equal to p applied to the goal