Idris 2 version 0.6.0 released

66 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!

 

Edwin

Reply all
Reply to author
Forward
0 new messages