@@ -14,6 +14,9 @@ New in 0.9.10:
14* Some prettifying of error message
14* Some prettifying of error message
15* The contents of ~/.idris/repl/init are run at REPL start-up.
15* The contents of ~/.idris/repl/init are run at REPL start-up.
16* The REPL stores a command history in ~/.idris/repl/history
16* 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.
18Internal changes
21Internal changes