Idris 2 version 0.4.0 released
66 views
Skip to first unread message
Edwin Brady
Jun 23, 2021, 4:07:02 PM6/23/21
to idris...@googlegroups.com
Dear all,
Idris 2 version 0.4.0 has been released. You can find full details, including all the changes and how to download and install it, here:
https://www.idris-lang.org/idris-2-version-040-released.html
This requires Idris 2 version 0.3.0 to build, or you can build from the bundled Scheme or Racket code.
As ever, many thanks to everyone who has helped with this release - there's an increasing number of you and that's wonderful to see! There's lots of new things here - lots of library additions, better performance, lots of progress towards LSP integration (which you can install separately) and plenty of other things. You can find full details in the CHANGELOG, linked from the above post.
We're also now able to generate HTML documentation from the libraries, and you can find that here: https://www.idris-lang.org/pages/idris-2-documentation.html
Enjoy!
Edwin
Idris 2 version 0.4.0 has been released. You can find full details, including all the changes and how to download and install it, here:
https://www.idris-lang.org/idris-2-version-040-released.html
This requires Idris 2 version 0.3.0 to build, or you can build from the bundled Scheme or Racket code.
As ever, many thanks to everyone who has helped with this release - there's an increasing number of you and that's wonderful to see! There's lots of new things here - lots of library additions, better performance, lots of progress towards LSP integration (which you can install separately) and plenty of other things. You can find full details in the CHANGELOG, linked from the above post.
We're also now able to generate HTML documentation from the libraries, and you can find that here: https://www.idris-lang.org/pages/idris-2-documentation.html
Enjoy!
Edwin
Reply all
Reply to author
Forward
0 new messages