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.4.0), or (the simplest way …
read more