JarCastingcurryhoward
Automatic code generation from function types using the Curry-Howard correspondence
| Лицензия |
Лицензия |
|---|---|
| Группа | Группаio.chymyst |
| Идентификатор | Идентификаторcurryhoward_2.12 |
| Последняя версия | Последняя версия0.3.8 |
| Дата | Дата |
| Тип | Типjar |
| Описание |
Описаниеcurryhoward
Automatic code generation from function types using the Curry-Howard correspondence
|
| Ссылка на сайт |
Ссылка на сайт |
| Организация-разработчик |
Организация-разработчик |
Скачать curryhoward_2.12
| Имя Файла | Размер |
|---|---|
| curryhoward_2.12-0.3.8.pom | |
| curryhoward_2.12-0.3.8.jar | 424 KB |
| curryhoward_2.12-0.3.8-sources.jar | 24 KB |
| curryhoward_2.12-0.3.8-javadoc.jar | 787 KB |
| Обзор |
Как подключить последнюю версию
<!-- https://jarcasting.com/artifacts/io.chymyst/curryhoward_2.12/ -->
<dependency>
<groupId>io.chymyst</groupId>
<artifactId>curryhoward_2.12</artifactId>
<version>0.3.8</version>
</dependency>// https://jarcasting.com/artifacts/io.chymyst/curryhoward_2.12/
implementation 'io.chymyst:curryhoward_2.12:0.3.8'// https://jarcasting.com/artifacts/io.chymyst/curryhoward_2.12/
implementation ("io.chymyst:curryhoward_2.12:0.3.8")'io.chymyst:curryhoward_2.12:jar:0.3.8'<dependency org="io.chymyst" name="curryhoward_2.12" rev="0.3.8">
<artifact name="curryhoward_2.12" type="jar" />
</dependency>@Grapes(
@Grab(group='io.chymyst', module='curryhoward_2.12', version='0.3.8')
)libraryDependencies += "io.chymyst" % "curryhoward_2.12" % "0.3.8"[io.chymyst/curryhoward_2.12 "0.3.8"]Зависимости
compile (2)
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.scala-lang : scala-library | jar | 2.12.13 |
| org.scala-lang : scala-reflect | jar | 2.12.13 |
test (3)
| Идентификатор библиотеки | Тип | Версия |
|---|---|---|
| org.scalatest : scalatest_2.12 | jar | 3.0.8 |
| org.scalacheck : scalacheck_2.12 | jar | 1.14.0 |
| com.github.alexarchambault : scalacheck-shapeless_1.13_2.12 | jar | 1.1.6 |
Модули Проекта
Данный проект не имеет модулей.
