Update CHANGELOG for type provider docs

2024-11-15 01:25:05 +03:00 · 2015-03-13 23:42:15 +01:00 · 2015-03-13 23:42:15 +01:00 · 972b2a51d1
commit 972b2a51d1
parent 6fe15ea096
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -23,6 +23,7 @@ New in 0.9.17:
 * Added FFI_Export type which allows Idris functions to be exportoed and
  called from foreign code
 * Instances can now have documentation strings.
+* Type providers can have documentation strings.

 New in 0.9.16:
 --------------