Category:Dependently-typed formal languages
From Seo Wiki - Search Engine Optimization and Programming Languages
This is the category for formal languages (like programming and specification languages) with type systems that support dependent types.ru:Категория:Типозависимые формальные языки
Pages in category "Dependently-typed formal languages"
The following 6 pages are in this category, out of 6 total.