Category:Dependently typed languages
This is the category for formal languages (like programming and specification languages) with type systems that support dependent types.
Pages in category "Dependently typed languages"
The following 14 pages are in this category, out of 14 total. This list may not reflect recent changes (learn more).