Arrow Proofs Gradle Plugin

Arrow Proofs

License

License

https://www.apache.org/licenses/LICENSE-2.0.txt
Categories

Categories

Gradle Build Tools
GroupId

GroupId

io.arrow-kt.proofs
ArtifactId

ArtifactId

io.arrow-kt.proofs.gradle.plugin
Last Version

Last Version

2.0.0-alpha.6
Release Date

Release Date

Type

Type

pom
Description

Description

Arrow Proofs Gradle Plugin
Arrow Proofs
Project URL

Project URL

https://github.com/arrow-kt/arrow-proofs/
Source Code Management

Source Code Management

https://github.com/arrow-kt/arrow-proofs/

Download io.arrow-kt.proofs.gradle.plugin

How to add to project

<!-- https://jarcasting.com/artifacts/io.arrow-kt.proofs/io.arrow-kt.proofs.gradle.plugin/ -->
<dependency>
    <groupId>io.arrow-kt.proofs</groupId>
    <artifactId>io.arrow-kt.proofs.gradle.plugin</artifactId>
    <version>2.0.0-alpha.6</version>
    <type>pom</type>
</dependency>
// https://jarcasting.com/artifacts/io.arrow-kt.proofs/io.arrow-kt.proofs.gradle.plugin/
implementation 'io.arrow-kt.proofs:io.arrow-kt.proofs.gradle.plugin:2.0.0-alpha.6'
// https://jarcasting.com/artifacts/io.arrow-kt.proofs/io.arrow-kt.proofs.gradle.plugin/
implementation ("io.arrow-kt.proofs:io.arrow-kt.proofs.gradle.plugin:2.0.0-alpha.6")
'io.arrow-kt.proofs:io.arrow-kt.proofs.gradle.plugin:pom:2.0.0-alpha.6'
<dependency org="io.arrow-kt.proofs" name="io.arrow-kt.proofs.gradle.plugin" rev="2.0.0-alpha.6">
  <artifact name="io.arrow-kt.proofs.gradle.plugin" type="pom" />
</dependency>
@Grapes(
@Grab(group='io.arrow-kt.proofs', module='io.arrow-kt.proofs.gradle.plugin', version='2.0.0-alpha.6')
)
libraryDependencies += "io.arrow-kt.proofs" % "io.arrow-kt.proofs.gradle.plugin" % "2.0.0-alpha.6"
[io.arrow-kt.proofs/io.arrow-kt.proofs.gradle.plugin "2.0.0-alpha.6"]

Dependencies

compile (1)

Group / Artifact Type Version
io.arrow-kt : arrow-proofs-gradle-plugin jar 2.0.0-alpha.6

Project Modules

There are no modules declared in this project.

Versions

Version
2.0.0-alpha.6
2.0.0-alpha.5
2.0.0-alpha.4
2.0.0-alpha.3
2.0.0-alpha.2
2.0.0-alpha.1