A discription of this projects will be written after the first full release.
skamandrios42 / pneuma Goto Github PK
View Code? Open in Web Editor NEWThe Pneuma Programming Language will combine dependent types, implicits and modules in one small concise language.