Yes, see this Github Discussion for more context: https://github.com/koka-lang/koka/discussions/339#discussioncomment-6236794 https://github.com/koka-lang/koka/

Yes, see this Github Discussion for more context: https://github.com/koka-lang/koka/discussions/339#discussioncomment-6236794 https://github.com/koka-lang/koka/discussions/339#discussion... > yes! Currently the active development is in dev-fbip, see also our recent tech report: https://www.microsoft.com/en-us/research/publication/fp2-fully-in-place-functional-programming/ https://www.microsoft.com/en-us/research/publication/fp2-ful... We hope to put out a fresh release after the POPL deadline (Jul 11) that will include the new fip keyword and other goodies.