@@ -40,6 +40,9 @@ New in 0.9.17:
4040* Classes can now be annotated with 'determining parameters' to say which
4141 must be available before resolving instances. Only determining parameters
4242 are checked when checking for overlapping instances.
43+* New package 'contrib' containing things that are less mature or less used
44+ than the contents of 'base'. 'contrib' is not available by default, so you
45+ may need to add '-p contrib' to your .ipkg file or Idris command line.
4346
4447New in 0.9.16:
4548--------------