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

io.chymyst:curryhoward_2.12 0.3.4

Automatic code generation from function types using the Curry-Howard correspondence

Группа	Группа io.chymyst
Идентификатор	Идентификатор curryhoward_2.12
Версия	Версия 0.3.4
Тип	Тип jar

Скачать curryhoward_2.12 0.3.4

Имя Файла	Размер
curryhoward_2.12-0.3.4.pom
curryhoward_2.12-0.3.4.jar	548 KB
curryhoward_2.12-0.3.4-sources.jar	32 KB
curryhoward_2.12-0.3.4-javadoc.jar	843 KB
Обзор

Apache Maven

<!-- https://jarcasting.com/artifacts/io.chymyst/curryhoward_2.12/ -->
<dependency>
    <groupId>io.chymyst</groupId>
    <artifactId>curryhoward_2.12</artifactId>
    <version>0.3.4</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.chymyst/curryhoward_2.12/
implementation 'io.chymyst:curryhoward_2.12:0.3.4'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.chymyst/curryhoward_2.12/
implementation ("io.chymyst:curryhoward_2.12:0.3.4")

Apache Buildr

'io.chymyst:curryhoward_2.12:jar:0.3.4'

Apache Ivy

<dependency org="io.chymyst" name="curryhoward_2.12" rev="0.3.4">
  <artifact name="curryhoward_2.12" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.chymyst', module='curryhoward_2.12', version='0.3.4')
)

Scala SBT

libraryDependencies += "io.chymyst" % "curryhoward_2.12" % "0.3.4"

Leiningen

[io.chymyst/curryhoward_2.12 "0.3.4"]

io.chymyst:curryhoward_2.12 0.3.4

Группа

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

Версия

Тип

Скачать curryhoward_2.12 0.3.4