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

Reddit

Announcing Idris 2 0.3.0 for the JVM https://github.com/mmhelloworld/idris-jvm/releases/latest 3 comments 1/9/2021 idris

Linking pages

GitHub - mmhelloworld/idris-jvm: JVM bytecode back end for Idris https://github.com/mmhelloworld/idris-jvm 3 comments

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.5.1 · mmhelloworld/idris-jvm · GitHub

See how to search.

Submit link to: