io.arrow-kt.proofs
Owner:
47 Degrees
Functional companion to Kotlin's Compiler
Sources: https://github.com/arrow-kt/arrow-meta
Version 2.0.0-alpha.2
2.0.0-alpha.2
Created 25 March 2022.
Functional companion to Kotlin's Compiler
Using the plugins DSL:
plugins {
id("io.arrow-kt.proofs") version "2.0.0-alpha.2"
}
Using legacy plugin application:
buildscript {
repositories {
maven {
url = uri("https://plugins.gradle.org/m2/")
}
}
dependencies {
classpath("io.arrow-kt:arrow-proofs-gradle-plugin:2.0.0-alpha.2")
}
}
apply(plugin = "io.arrow-kt.proofs")
Using the plugins DSL:
plugins {
id "io.arrow-kt.proofs" version "2.0.0-alpha.2"
}
Using legacy plugin application:
buildscript {
repositories {
maven {
url "https://plugins.gradle.org/m2/"
}
}
dependencies {
classpath "io.arrow-kt:arrow-proofs-gradle-plugin:2.0.0-alpha.2"
}
}
apply plugin: "io.arrow-kt.proofs"