Idris 0.99.2 Released

A new version of Idris, 0.99.2, has been released. You can find this on hackage, or from the download page. Documentation is available from

There’s just a small number of changes since version 0.99.1, mostly bug fixes and small improvements in a final push towards version 1.0 (Real Soon Now :)). Changes since version 0.99.1 are detailed below.

Thanks as always to everyone who has contributed, either with code, documentation or by testing and reporting issues. You can find the names of all contributors in the CONTRIBUTORS file in the source repository.

Library Updates

  • Added Data.Buffer to base. This allows basic manipulation of mutable buffers of Bits8, including reading from and writing to files.

Tool Updates

  • Idris now checks the list of packages specified at the command line against those installed. If there is a mismatch Idris will complain.

Miscellaneous Updates

  • Documentation updates for the new Control.ST library
  • Various stability/efficiency fixes