Idris 0.99 Released

A new version of Idris, 0.99, has been released. You can find this on hackage, or from the download page. Documentation is available from docs.idris-lang.org. The changes since version 0.12 are detailed below.

This is an important step towards releasing version 1.0, with the language more or less stable now. Between now and releasing 1.0, we’ll be focussing on fixing up the most important issues, and on efficiency and robustness.

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.

Language updates

record syntax now allows updating fields, including nested fields, by applying a function using the $= operator. For example: