Koka

Established: April 13, 2012

Tools

Koka 

Koka: a Functional Language with Effects Koka is a strongly typed functional-style language with effect types and handlers.

Github for Koka

People

Portrait of Daan Leijen

Daan Leijen

Senior Principal Researcher