@@ -13,6 +13,8 @@ New in 0.9.16:
1313* Better Unicode support for the JavaScript/Node codegen
1414* ':search' and ':apropos' commands can now be given optional package lists
1515 to search.
16+* Vect, Fin and So moved out of prelude into base, in modules Data.Vect,
17+ Data.Fin and Data.So respectively.
1618
1719* Several long-standing issues resolved, particularly with pattern matching
1820 and coverage checking.