@@ -17,7 +17,8 @@ New in 0.9.19:
1717* New command-line option --highlight that causes Idris to save highlighting
1818 information when successfully type checking. The information is in the same
1919 format sent by the IDE mode, and is saved in a file with the extension ".idh".
20−
20+* Use predicates instead of boolean equality proofs as preconditions
21+ on List functions
2122
2223New in 0.9.18:
2324--------------