Is Arrow Analysis a Project or a Language?

arrow analysis is really Alejandro's project but yeah just to maybe come back on the last thing you mentioned I think it's very similar to the goal of a distributed development where at least for me functional programming helps me achieve make the feedback look shorter so that the compiler and the types in my program will actually tell me when I make a mistake without me having to go as far as even render tests. Even before running the test I can already know that there is something wrong in my program. Is that something that feels good or something that feels bad? I think it feels good. Yes, this is a it's one of the pain points that we've felt in Kotlin  and if