Release Release 0.6.0 · mmhelloworld/idris-jvm · GitHub - discu.eu

Hacker News

Idris 2 0.6.0 is now available for the JVM https://github.com/mmhelloworld/idris-jvm/releases/tag/latest 64 comments 27/2/2023

Would you like to stay up to date with Java? Checkout Java Weekly.

Related searches:

Search whole site: site:github.com

Search title: Release Release 0.6.0 · mmhelloworld/idris-jvm · GitHub

See how to search.

Submit link to: