Idris 2 0.6.0 is now available for the JVM | Heykuki News