Idris 2 version 0.5.0 released

[Edwin Brady]

Dear all,
Idris 2 version 0.5.0 has been released. You can find full details, including all the changes and how to download and install it, here:

https://www.idris-lang.org/idris-2-version-050-released.html

This requires Idris 2 version 0.4.0 to build, or you can build from the bundled Scheme or Racket code.

As ever, many thanks to everyone who has helped with this release! You can find full details of the updates in the CHANGELOG, linked from the above post.

You can find up to date library documentation here: https://www.idris-lang.org/pages/idris-2-documentation.html

These days, the Idris Discord is an active place for Idris discussion, covering the language itself as well as many related projects. To join, you can get an invitation from https://discord.gg/YXmWC5yKYM

Edwin
--
The University of St Andrews is a charity registered in Scotland, No: SC013532