Idris 2 version 0.4.0 Released
source link: https://www.idris-lang.org/idris-2-version-040-released.html
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Idris 2 version 0.4.0 Released
Wed 23 June 2021
By Edwin
In News.
tags: Release
A new version (0.4.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.3.0), or (the simplest way), run make bootstrap to build from the generated Scheme. Full instructions are in INSTALL.md in the distribution.
Documentation is available here, including API documentation.
To get started, you can see:
- Installation instructions and how to get started
- If you're upgrading from Idris 1, see Changes since Idris 1
The installation has worked successfully on Linux, Windows, Mac and Raspberry Pi. Please let us know (ideally via the mailing list) how you get on with installing on other platforms.
For a detailed list of changes, see the CHANGELOG.
Thanks to the many people who have contributed, whether by adding features, fixing code, reporting issues, or anything else. You can find a list of contributors in the GitHub repository.
Have fun!
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK