Arrow Proofs Compiler Plugin

Arrow Proofs

License

License

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

GroupId

io.arrow-kt
ArtifactId

ArtifactId

arrow-proofs-plugin
Last Version

Last Version

2.0.0-alpha.6
Release Date

Release Date

Type

Type

pom.sha512
Description

Description

Arrow Proofs Compiler 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 arrow-proofs-plugin

Dependencies

runtime (1)

Group / Artifact Type Version
io.arrow-kt : arrow-meta jar 1.6.1-alpha.2

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