search

JetBrains / Nitra

Public Nitra repository
Other
554 stars 43 forks source link

Type system to model Substructural Type System / Dependent Types / etc. #13

Open sirinath opened 10 years ago

sirinath commented 10 years ago

When defining the type systems for languages please make sure that it is comprehensive enough to model different type system including but not limited to Substructural Type System and Dependent Types.

VladD2 commented 10 years ago

OK

sirinath commented 10 years ago

Thanks. You guys are brilliant. Only thing is if you can finish Nitra faster by perhaps building your team I would party.