kima - Programming language

#2090on PLDB

6Years Old

Download source code:

git clone https://gitlab.com/michalis_pardalos/Kima

A Programming Language with static types and (currently WIP) algebraic effects.

Tags: programming language
kima on GitLab
Early development of kima happened in https://gitlab.com/kima-lang/Kima/-/issues
kima is written in Haskell, YAML, Markdown, JSON
kima.xyz was registered in 2019
Read more about kima on the web: 1.