Idris 2 version 0.2.2 Released

A new Idris blog post/announcement has been posted!

Get the full details here: https://www.idris-lang.org/idris-2-version-022-released.html

Corresponding tweet for this thread:

Share link for this tweet.


Related portal: