Koka

설립: April 13, 2012

도구

6월 2021

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

Senior Principal Researcher