Welcome to Koka, a powerful language that combines strong typing, functional-style programming, and effect types and handlers. Please note that Koka v2 is currently in development and not intended for production use. However, the language is stable and the compiler fully implements the specification. The latest release, Koka v2.4.2, introduces new features such as support for fully in-place functional programming and includes various fixes and performance improvements. Additionally, there are many other releases and updates, as well as helpful installation instructions and documentation available. Feel free to explore and get started with Koka!
https://koka-lang.github.io/koka/doc/index.html