This paper was published in May, but it doesn't look like Koka's had much acitivity for about a year now (based on Github). Any idea if Koka's still in development?
> yes! Currently the active development is in dev-fbip, see also our recent tech report: 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.