| Лицензия |
Лицензия |
|---|---|
| Группа | Группаorg.idris-lang |
| Идентификатор | Идентификаторidris |
| Последняя версия | Последняя версия0.9.14 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
ОписаниеIdris Java RTS
Runtime System for the Idris Java Backend
|
| Имя Файла | Размер |
|---|---|
| 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 |
| Обзор |
JarCasting<!-- 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"]