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

Idris JVM Compiler 0.5.1

Лицензия	Лицензия BSD-3-Clause
Группа	Группа io.github.mmhelloworld
Идентификатор	Идентификатор idris-jvm-compiler
Версия	Версия 0.5.1
Тип	Тип zip
Описание	Описание Idris JVM Compiler JVM bytecode backend for Idris

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

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

Зависимости

compile (3)

Идентификатор библиотеки	Тип	Версия
io.github.mmhelloworld : idris-jvm-runtime	jar	0.5.1
io.github.mmhelloworld : idris-jvm-assembler	jar	0.5.1
org.ow2.asm : asm	jar	9.0

Модули Проекта