For more information see:

The Koka book.

The Koka library documentation