Idris Java RTS

'org.idris-lang:idris:0.9.9'

<dependency>
	<groupId>org.idris-lang</groupId>
	<artifactId>idris</artifactId>
	<version>0.9.9</version>
</dependency>

<dependency org="org.idris-lang" name="idris" rev="0.9.9"/>

"org.idris-lang", "idris", "0.9.9"