Idris 2 version 0.2.2 Released

[NewsBot]

A new Idris blog post/announcement has been posted!

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.1) to the next version (0.3.0) which will be released imminently. So:

• You can use v...

Get the full details here: Idris 2 version 0.2.2 Released