@@ -17,7 +17,8 @@ New in 0.9.19:
17* New command-line option --highlight that causes Idris to save highlighting
17* New command-line option --highlight that causes Idris to save highlighting
18 information when successfully type checking. The information is in the same
18 information when successfully type checking. The information is in the same
19 format sent by the IDE mode, and is saved in a file with the extension ".idh".
19 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
22New in 0.9.18:
23New in 0.9.18:
23--------------
24--------------