Koka

成立时间：April 13, 2012

下载

2021年6月

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

Principal Researcher