A new version (0.5.1) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
This is a patch release, which fixes some dependency issues in Idris 2 veresion 0.5.1 that required a later …
read more