A modern programming language that makes developers happier.

kotlinlang

Is this the right channel to ask about arrow-inject? I have a question about its planned capabilities, and some conceptual hurdles that I ran into trying to implement something similar. (Also has the repo been moved to arrow-proofs?)

Yep :)

And yes it was moved to arrow proofs, and there is a branch that is not merged yet which has changed the implementation and how it is going to be consumed. If I remember correctly, the new way to be consumed was exposed in tests with the prefix `resolution`, cc <@U4UGS5FC7> 