Skamandrios42/pneuma

The Pneuma Programming Language will combine dependent types, implicits and modules in one small concise language.

语言：Scala · GitHub 星标：4 · Fork：0

话题：compiler · dependent-types · functional-programming · implicits

在 GitHub 上查看原仓库