A new version (0.2.2) of Idris 2 has been released. You can download the source (including generated Scheme and Racket files for bootstrapping) from the download page.
There are few changes in this release; it exists purely to preserve a bootstrapping path from the previous version (0.2 …
read more