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