All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

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!
There is a newer version: 2.0.0-alpha.6
Show newest version
Show more of this group  Show more artifacts with this name
Show 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.META-INF.MANIFEST.MF
META-INF.services
META-INF.services.META-INF.services.org.jetbrains.kotlin.compiler.plugin.CommandLineProcessor
META-INF.services.META-INF.services.org.jetbrains.kotlin.compiler.plugin.ComponentRegistrar
META-INF.services.META-INF.services.org.jetbrains.kotlin.diagnostics.rendering.DefaultErrorMessages$Extension
arrow.meta
arrow.meta.arrow.meta.ProofsMetaPlugin.kt
arrow.meta.diagnostic
arrow.meta.diagnostic.arrow.meta.diagnostic.MetaDefaultErrorMessages
arrow.meta.diagnostic.arrow.meta.diagnostic.MetaErrors
arrow.meta.phases.analysis.diagnostic
arrow.meta.phases.analysis.diagnostic.arrow.meta.phases.analysis.diagnostic.Renderers.kt
arrow.meta.plugins.proofs
arrow.meta.plugins.proofs.arrow.meta.plugins.proofs.ProofsPlugin.kt
arrow.meta.plugins.proofs.arrow.meta.plugins.proofs.package.md
arrow.meta.plugins.proofs.phases
arrow.meta.plugins.proofs.phases.arrow.meta.plugins.proofs.phases.Proof.kt
arrow.meta.plugins.proofs.phases.arrow.meta.plugins.proofs.phases.Proofs.kt
arrow.meta.plugins.proofs.phases.config
arrow.meta.plugins.proofs.phases.config.arrow.meta.plugins.proofs.phases.config.EnableProofs.kt
arrow.meta.plugins.proofs.phases.ir
arrow.meta.plugins.proofs.phases.ir.arrow.meta.plugins.proofs.phases.ir.ProofCandidate.kt
arrow.meta.plugins.proofs.phases.ir.arrow.meta.plugins.proofs.phases.ir.ProofsIrCodegen.kt
arrow.meta.plugins.proofs.phases.quotes
arrow.meta.plugins.proofs.phases.quotes.arrow.meta.plugins.proofs.phases.quotes.GenerateGivenSupportingFunctions.kt
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.arrow.meta.plugins.proofs.phases.resolve.ProofResolutionRules.kt
arrow.meta.plugins.proofs.phases.resolve.arrow.meta.plugins.proofs.phases.resolve.ProofsCallResolver.kt
arrow.meta.plugins.proofs.phases.resolve.cache
arrow.meta.plugins.proofs.phases.resolve.cache.arrow.meta.plugins.proofs.phases.resolve.cache.ProofsCache.kt
arrow.meta.plugins.proofs.phases.resolve.scopes
arrow.meta.plugins.proofs.phases.resolve.scopes.arrow.meta.plugins.proofs.phases.resolve.scopes.ProofsMemberScope.kt
arrow.meta.plugins.proofs.phases.resolve.scopes.arrow.meta.plugins.proofs.phases.resolve.scopes.ProofsScopeTower.kt




© 2015 - 2024 Weber Informatics LLC | Privacy Policy