/Kara

An experimental functional programming language with dependent types, inspired by Swift and Idris.

Primary LanguageSwiftApache License 2.0Apache-2.0

Stargazers