A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.6.0 Released
Corresponding tweet for this thread:
Share link for this tweet.