не последняя версия

io.github.mmhelloworld:idris-jvm-compiler 0.0.1.5

Группа	Группа io.github.mmhelloworld
Идентификатор	Идентификатор idris-jvm-compiler
Версия	Версия 0.0.1.5
Тип	Тип zip

Скачать idris-jvm-compiler 0.0.1.5

Имя Файла	Размер
idris-jvm-compiler-0.0.1.5.pom
idris-jvm-compiler-0.0.1.5.zip	7 MB
idris-jvm-compiler-0.0.1.5-sources.jar	1 MB
idris-jvm-compiler-0.0.1.5-javadoc.jar	23 KB
Обзор