kara-lang / Kara

An experimental functional programming language with dependent types, inspired by Swift and Idris.
44Updated 2 years ago

Related projects

Alternatives and complementary repositories for Kara