License |
License
https://www.apache.org/licenses/LICENSE-2.0.txt
|
---|---|
GroupId | GroupIdio.arrow-kt |
ArtifactId | ArtifactIdarrow-proofs-plugin |
Version | Version2.0.0-alpha.6 |
Type | Typepom.sha512 |
Description |
DescriptionArrow Proofs Compiler Plugin
Arrow Proofs
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
Group / Artifact | Type | Version |
---|---|---|
io.arrow-kt : arrow-meta | jar | 1.6.1-alpha.2 |