An Introduction to the Koka Programming Language

koka-lang.github.io

4 pointsadgasf1 comment

Super interesting, not only for semantics, but also for some syntax tweaks. Like {} for lazy and () for eager. Nice!