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