/pneuma

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

Primary LanguageScala

No issues in this repository yet.