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

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

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

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

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