GitHub - mmhelloworld/idris-jvm: JVM bytecode back end for Idris - discu.eu

Reddit

JVM bytecode backend for Idris (a language with dependent types) https://github.com/mmhelloworld/idris-jvm 2 comments 13/1/2017 java

Linking pages

Introducing Idris on the JVM and an Idris Android Example - mmhelloworld http://mmhelloworld.github.io/blog/2017/01/06/introducing-idris-on-the-jvm-and-an-idris-android-example/ 3 comments

Linked pages

Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
Release Release 0.5.1 · mmhelloworld/idris-jvm · GitHub https://github.com/mmhelloworld/idris-jvm/releases/latest 3 comments
GitHub - idris-lang/Idris2: A purely functional programming language with first class types https://github.com/idris-lang/Idris2/ 0 comments

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

Related searches:

Search whole site: site:github.com

Search title: GitHub - mmhelloworld/idris-jvm: JVM bytecode back end for Idris

See how to search.

Submit link to: