on master help sign in
Update CHANGELOG for type provider docs
commit972b2a51d11929c3e7ea4c80e878a26b20fe749e authorAdam Sandberg Eriksson <adam@sandbergericsson.se> dateFri 13 Mar 2015, 23:42 (12 years ago) parent6fe15ea
1 file changed+1
CHANGELOG+1
CHANGELOG+1
@@ -23,6 +23,7 @@ New in 0.9.17:
2323* Added FFI_Export type which allows Idris functions to be exportoed and
2424 called from foreign code
2525* Instances can now have documentation strings.
26+* Type providers can have documentation strings.
2627
2728New in 0.9.16:
2829--------------