@@ -23,6 +23,7 @@ New in 0.9.17:
23* Added FFI_Export type which allows Idris functions to be exportoed and
23* Added FFI_Export type which allows Idris functions to be exportoed and
24 called from foreign code
24 called from foreign code
25* Instances can now have documentation strings.
25* Instances can now have documentation strings.
26+* Type providers can have documentation strings.
27New in 0.9.16:
28New in 0.9.16:
28--------------
29--------------