@@ -5,6 +5,7 @@ New in 0.9.13:
5* IdrisDoc: a Haddock- and JavaDoc-like HTML documentation generator
5* IdrisDoc: a Haddock- and JavaDoc-like HTML documentation generator
6* Command line option -e (or --eval) to evaluate expressions without loading the
6* Command line option -e (or --eval) to evaluate expressions without loading the
7 REPL. This is useful for writing more portable tests.
7 REPL. This is useful for writing more portable tests.
8+* Many more of the basic functions and datatypes are documented.
9Internal changes
10Internal changes