A modern programming language that makes developers happier.

kotlinlang

how to set up Android app to be able to use `@Given` dependency injection with Arrow Meta? Follow implementation steps but am getting Gradle errors. <https://github.com/arrow-kt/arrow-meta-examples>

Given and proofs are not released yet or ready until the IR backend in the compiler is no longer experimental since they depend on it. It may work for your case now but there is no guarantees of compatibility until then. It usually it's just about adding the compiler plugin. What error are you getting in Gradle?

I try to do the same as in the example, maybe it's not the same for Android project :confused:. When I add
```plugins {
    id "org.jetbrains.kotlin.jvm"
}```
than I get `kotlin android plugin can't be applied`

The example is a JVM app but in your case you may be able to remove that JVM plugin.