Idris 2 0.6.0 is now available for the JVM


W3Schools
Idris 2 0.6.0 is now available for the JVM
by ska80 on Hacker News.


W3Schools

Leave a comment