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

Idris Java RTS 0.9.14

Runtime System for the Idris Java Backend

Лицензия

Лицензия
Группа

Группа

org.idris-lang
Идентификатор

Идентификатор

idris
Версия

Версия

0.9.14
Тип

Тип

jar
Описание

Описание

Idris Java RTS
Runtime System for the Idris Java Backend

Скачать idris 0.9.14

Имя Файла Размер
idris-0.9.14.pom
idris-0.9.14.jar 22 KB
idris-0.9.14-sources.jar 11 KB
idris-0.9.14-javadoc.jar 67 KB
Обзор 

<!-- https://jarcasting.com/artifacts/org.idris-lang/idris/ -->
<dependency>
    <groupId>org.idris-lang</groupId>
    <artifactId>idris</artifactId>
    <version>0.9.14</version>
</dependency>
// https://jarcasting.com/artifacts/org.idris-lang/idris/
implementation 'org.idris-lang:idris:0.9.14'
// https://jarcasting.com/artifacts/org.idris-lang/idris/
implementation ("org.idris-lang:idris:0.9.14")
'org.idris-lang:idris:jar:0.9.14'
<dependency org="org.idris-lang" name="idris" rev="0.9.14">
  <artifact name="idris" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.idris-lang', module='idris', version='0.9.14')
)
libraryDependencies += "org.idris-lang" % "idris" % "0.9.14"
[org.idris-lang/idris "0.9.14"]

Зависимости

Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.

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

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