@@ -8,6 +8,7 @@ New in 0.9.10:
8* At the REPL, "it" now refers to the previous expression
8* At the REPL, "it" now refers to the previous expression
9* Semantic colouring at the REPL. Turn this off with --nocolour.
9* Semantic colouring at the REPL. Turn this off with --nocolour.
10* Some prettifying of error message
10* Some prettifying of error message
11+* The contents of ~/.idris/repl/init are run at REPL start-up.
12Internal changes
13Internal changes