Idris 2 version 0.3.0 Released

[NewsBot]

A new Idris blog post/announcement has been posted!

A new version (0.3.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.2.2), or (the simplest way), run make bootstrap to build from the generated Scheme. Full instructions are in https://www.idris-lang.org/idris-2-version-030-released.html

[bot]

Corresponding tweet for this thread:

https://twitter.com/dev_talk/status/1349401925977042947

Share link for this tweet.

---

Related portal:

Idris Programming Language | Devtalk