Idris 2 version 0.6.0 released

67 views

Skip to first unread message

Edwin Brady

unread,

Oct 28, 2022, 1:34:38 PM10/28/22

to idris...@googlegroups.com

Dear all,

Idris 2 version 0.6.0 is now available. For more details, see https://www.idris-lang.org/idris-2-version-060-released.html

There's lots of improvements and fixes since the previous version - see the CHANGELOG for full details (linked from the post). Many thanks to everyone who has helped us get this far, and apologies for taking longer than usual for an update!