Update CHANGELOG
commit9070208e4b12a1e93ead7aff21a67a016166567a
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 11 Dec 2012, 23:09 (14 years ago)
parentcc716d7
CHANGELOG+1
@@ -3,6 +3,7 @@ New in 0.9.6:
33
44User visible changes:
55
6+* The type of types is now 'Type' rather than 'Set'
67* Forward declarations of data allowed
78 - supporting induction recursion and mutually recursive data
89* Type inference of definitions in 'where' clauses
tutorial/idris-tutorial.pdf
Binary file not shown.