kara-lang/Kara

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

语言：Swift · GitHub 星标：47 · Fork：2

话题：dependent-types · functional-programming · programming-language · swift

在 GitHub 上查看原仓库