A new Idris blog post/announcement has been posted!
Get the full details here: Idris 2 version 0.2.2 Released
bot
2
Corresponding tweet for this thread:
https://twitter.com/dev_talk/status/1348979095024107522
Share link for this tweet.
Related portal: