Idris 2 version 0.3.0 Released

A new Idris blog post/announcement has been posted!

Corresponding tweet for this thread:

Share link for this tweet.


Related portal: