Add note about additional docs to CHANGELOG
commitd9ab891469a97030d9968fc8748f61e090b1257f
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateMon 21 Apr 2014, 10:28 (13 years ago)
parent66a2636
CHANGELOG+1
@@ -5,6 +5,7 @@ New in 0.9.13:
55* IdrisDoc: a Haddock- and JavaDoc-like HTML documentation generator
66* Command line option -e (or --eval) to evaluate expressions without loading the
77 REPL. This is useful for writing more portable tests.
8+* Many more of the basic functions and datatypes are documented.
89
910Internal changes
1011