@@ -3,6 +3,7 @@ New in 0.9.6:
4User visible changes:
4User visible changes:
6+* The type of types is now 'Type' rather than 'Set'
6* Forward declarations of data allowed
7* Forward declarations of data allowed
7 - supporting induction recursion and mutually recursive data
8 - supporting induction recursion and mutually recursive data
8* Type inference of definitions in 'where' clauses
9* Type inference of definitions in 'where' clauses