• Idris 2 version 0.6.0 Released https://www.idris-lang.org/idris-2-version-060-released.html 6 comments 30/10/2022