The Koka Programming Language
Koka Language Specification
koka-lang.github.io