Idris JVM Compiler

JVM bytecode backend for Idris

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

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

Имя Файла	Размер
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

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

Данный проект не имеет модулей.

Версии библиотеки

Версия
0.5.1 15 июн. 2022 г.
0.0.1.5 15 июн. 2022 г.
0.0.1.4 14 июн. 2022 г.
0.0.1.3 14 июн. 2022 г.