@@ -5,6 +5,11 @@
55+ Idris now checks the list of packages specified at the command line
66 against those installed. If there is a mismatch Idris will complain.
77
8+## Miscellaneous Updates
9+
10++ Documentation updates for the new `Control.ST` library
11++ Various stability/efficiency fixes
12+
813# New in 0.99.1:
914
1015## Language updates