@@ -14,6 +14,9 @@ New in 0.9.10:
1414* Some prettifying of error message
1515* The contents of ~/.idris/repl/init are run at REPL start-up.
1616* The REPL stores a command history in ~/.idris/repl/history
17+* The [a..b], [a,b..c], [a..], and [a,b..] syntax now pass the totality
18+ checker and can thus be used in types. The [x..] syntax now returns an
19+ actually infinite stream.
1720
1821Internal changes
1922