Idris 2 version 0.5.1 Released

[NewsBot]

A new Idris blog post/announcement has been posted!

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 0.5.1 that required a later than necessary version of Chez Scheme. Version 0.5.1 will bootstrap successfully with Chez Scheme 9.5

Get the full details here: Idris 2 version 0.5.1 Released

[bot]

Corresponding tweet for this thread:

Devtalk

Share link for this tweet.