https://kotlinlang.org logo
#arrow-meta
Title
# arrow-meta
n

Nathan Bedell

01/31/2022, 11:10 PM
I just saw on the website that arrow proofs is no longer in development. What's the story there? Is the project totally scrapped? Delayed? Are we waiting for language/compiler infrastructure developments?
r

raulraja

01/31/2022, 11:43 PM
Hi @Nathan Bedell, We are waiting for FIR to be stable and take a second take on proofs based on stable apis that work on the IDE. We removed it for the time being because we are about to release https://arrow-kt.io/docs/meta/analysis/
👍 1
2 Views