A new Idris blog post/announcement has been posted!
Get the full details here: https://www.idris-lang.org/idris-2-version-021-released.html
Share link for this tweet.