@@ -40,6 +40,9 @@ New in 0.9.17:
40* Classes can now be annotated with 'determining parameters' to say which
40* Classes can now be annotated with 'determining parameters' to say which
41 must be available before resolving instances. Only determining parameters
41 must be available before resolving instances. Only determining parameters
42 are checked when checking for overlapping instances.
42 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.
44New in 0.9.16:
47New in 0.9.16:
45--------------
48--------------