Is this the right channel to ask about arrow-inject? I have a question about its planned capabilitie...

# arrow

[Youssef Shoaib [MOD]]

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?)

[Javier]

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 @raulraja