idris-java-rts

Java Runtime System for the Idris Programming Language

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
src/main/java/org/idris/rts		src/main/java/org/idris/rts
.gitignore		.gitignore
README.md		README.md
pom.xml		pom.xml

Provide feedback