Idris 2 version 0.5.0 Released

[NewsBot]

A new Idris blog post/announcement has been posted!

A new version (0.5.0) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.

To build it, you can either use an earlier version of Idris 2 (minimum 0.3.0), or (the simplest way), run make bootstrap to build from the generated Scheme. Full instructions are in https://www.idris-lang.org/idris-2-version-050-released.html