idris-hackers / idris-java-rts

Java Runtime System for the Idris Programming Language

idris-java-rts

Java Runtime System for the Idris Programming Language

About

Java Runtime System for the Idris Programming Language

Languages

Language:Java 100.0%