Get the Arrow Proofs Plugin JAR file for reliable functional programming in Kotlin
Welcome to the Arrow Proofs Plugin download page! Here, you can obtain the JAR file for the Arrow Proofs Plugin, which enables robust functional programming in Kotlin. By downloading this JAR file, you can easily integrate Arrow Proofs Plugin into your Kotlin projects and benefit from its extensive functionality. Dive into the world of functional programming and streamline your code with Arrow Proofs Plugin. Start harnessing the power of Kotlin and functional programming today!
Files of the artifact arrow-proofs-plugin version 2.0.0-alpha.2 from the group io.arrow-kt.
Artifact arrow-proofs-plugin
Group io.arrow-kt
Version 2.0.0-alpha.2
Last update 25. March 2022
Tags: arrow proofs
Organization not specified
URL https://github.com/arrow-kt/arrow-proofs/
License https://www.apache.org/licenses/LICENSE-2.0.txt
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group io.arrow-kt
Version 2.0.0-alpha.2
Last update 25. March 2022
Tags: arrow proofs
Organization not specified
URL https://github.com/arrow-kt/arrow-proofs/
License https://www.apache.org/licenses/LICENSE-2.0.txt
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
There is a newer version: 2.0.0-alpha.6
Show newest versionShow all versions of arrow-proofs-plugin Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of arrow-proofs-plugin version 2.0.0-alpha.2
META-INF
META-INF.services
arrow.meta
arrow.meta.diagnostic
arrow.meta.phases.analysis.diagnostic
arrow.meta.plugins.proofs
arrow.meta.plugins.proofs.phases
arrow.meta.plugins.proofs.phases.config
arrow.meta.plugins.proofs.phases.ir
arrow.meta.plugins.proofs.phases.quotes
arrow.meta.plugins.proofs.phases.resolve
arrow.meta.plugins.proofs.phases.resolve.arrow.meta.plugins.proofs.phases.resolve.ProofResolution.kt
arrow.meta.plugins.proofs.phases.resolve.cache
arrow.meta.plugins.proofs.phases.resolve.scopes
© 2015 - 2024 Weber Informatics LLC | Privacy Policy