@@ -45,6 +45,7 @@
4545 * Generalised many combinators to use an unknown `commit` flag where possible.
4646
4747## Tool Updates
48+
4849+ Private functions are no longer visible in the REPL except for modules
4950 that are explicitly loaded.
5051+ The --interface option now creates CommonJS modules on the node backend.
@@ -52,8 +53,12 @@
5253 as they were given in the source files.
5354+ Backslash, braces and percent symbols are now correctly pretty printed
5455 in LaTeX.
56++ Parse errors have a new format, similar to GHC 8.2's default, due to a
57+ switch from Trifecta to Megaparsec for parsing. This could possibly cause
58+ some subtle deviations in parsing from previous versions of Idris.
5559
5660## Packaging Updates
61+
5762+ Package names now only accept a restrictive charset of letters, numbers and the `-_` characters.
5863 Package names are also case insensitive
5964