Idris 2 version 0.4.0 Released

Corresponding tweet for this thread:

Share link for this tweet.